Fix documentation links everywhere and local doc handling

[mattam82]

Supersedes #76. Live at https://staging.rocq-prover.org.

See in particular: https://staging.rocq-prover.org/releases/9.0%2Brc1

[mattam82]

Comparison with long names vs short names:

[Zimmi48]

It's really cool to have these links on the release pages!

I think I prefer the short names.

FWIW, some of these links are broken on the Coq 8.20.1 release page. Should they be activated only for Rocq releases?

Also, there is still the issue of what we put in the footer.

[mattam82]

It's really cool to have these links on the release pages!

I think I prefer the short names.

Me too. @tabareau ? @BastienSozeau ?

FWIW, some of these links are broken on the Coq 8.20.1 release page. Should they be activated only for Rocq releases?

Yes, I'll have to fix that.

Also, there is still the issue of what we put in the footer.

I would merge Documentation/Standard Library/Reference Manual into a single Documentation link to /docs

[Zimmi48]

I would merge Documentation/Standard Library/Reference Manual into a single Documentation link to /docs

Sounds good to me. We should remove the link to Exercises too given how empty this page is.

[mattam82]

Ok, I'll implement that

[mattam82]

Look at staging. I prefered Theories to API for the Corelib and Stdlib, it sounds more appropriate to me.

[Zimmi48]

There's an issue with the mobile view of the releases: the buttons do not wrap.

[Zimmi48]

Look at staging. I prefered Theories to API for the Corelib and Stdlib, it sounds more appropriate to me.

Sounds good to me, but it seems that you forgot to do this change on the documentation page.

[mattam82]

Good catch

[mattam82]

I think we can first merge this and fix the mobile view afterwards.