3 Commits

Author	SHA1	Message	Date
Hugo Locurcio	1ffd71c5e7	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-10-09 22:55:29 +02:00
Lukas Tenbrink	2d9c2365d4	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-10-04 11:33:41 +02: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