← Back to context Comment by bnegreve 11 years ago Not at all, but I was told that the pun was totally intentional [citation needed]. 1 comment bnegreve Reply fennecfoxen 11 years ago Is the filename of "coqasm.pdf" also trying to get at something?
Is the filename of "coqasm.pdf" also trying to get at something?