3 Commits

Author	SHA1	Message	Date
Hugo Locurcio	16e84a8d76	Fix RTD language switcher redirecting to nonexistent /en/4.x/ branch ... If we were redirected to `/en/4.x/` as a result of the RTD language selector, redirect to `/en/stable/` instead, as English does not have a `4.x` branch. For maintenance reasons, non-English languages have a single `4.x` branch that is the counterpart of `4.3`, `4.4`, `4.5` and so on.).	2025-11-06 20:31:14 +01:00
Lukas Tenbrink	0535cd5443	Fix redirects in safari, by moving the redirect js script into the 404 page instead of checking if we're on 404 via the API.	2025-11-06 20:31:14 +01:00
Hugo Locurcio	2bfc2f04cf	Hide user notes on 404 page ... This switches to `404.rst` instead of an embedded 404 page in `conf.py`, so we can specify page metadata.	2025-04-28 19:04:58 +02:00