V9.2 docs do not seem to be online

[RalfJung]

The docs at https://rocq-prover.org/refman/ are still for version 9.1.1. That URL is meant to go to the latest stable version, right?

[RalfJung]

Actually the docs are at https://rocq-prover.org/doc/V9.2.0/refman/index.html but the default redirect does not point to them.