Fixing coqchk. It was my fault, I misused canonical and user equalities
when defining cache hash tables in Closure. Why it was working in 3.12
is a mystery to me.
Prevent verbatim text from leaking out of comments. (See bug #2882)