[ANN] New release of Menhir (20260122)

Community
6

I have introduced a printing bug in the Rocq back-end, reported by Xavier Leroy. I am releasing version 20260203 today to fix this bug.