ParentFull threadJoker_vD·Still can't believe that this abbreviation is actually in use without any objections while there are talks about needing to rename the Coq language.View on HN