Mentat

While looking at the documentation, I found two problems:
- in devel and release documentations, link to production documentation ("You may instead wish to read the documentation for latest production version") does not work and returns 404 (the link should be "...mentat/master/..." instead of "...mentat/production/...")
- production version 2.12 was released, but production documentation was probably not deployed, because documentation from "2.11.0 (2023-07-03 07:57:17)" is displayed
- git revision link also does not work