Fixing typo absorption (bug #3751).
Supporting Greek and Coptic (U0370) as first letter of coqdoc identifiers.
Fixing what really looks like a bug in the initial implementation of
coqdoc links for modules (#3756).
Fixing an evar leak in pattern-matching compilation (#3758).