Test highlighting coq

Cf. https://www.mediawiki.org/wiki/Extension:SyntaxHighlight

aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa is a lambda expression in Pythonnnnnnnnnnnnnnnnnnnnnnnnnnnnn.

aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa is a lambda expression in Pythonnnnnnnnnnnnnnnnnnnnnnnnnnnnn.