Would make sense to have at least have a fallback to the previous behavior if the theme variables are undefined, as was implemented on #67 per my suggestion there, for backward compatibility and to follow the approach there for the copyright link? Other than that, this is a pretty important change, since the link is broken at present.

The current "fallback" is just not to display the link, I'm not sure we can do better here. Do you have something better in mind?

Yeah, sorry for the delay—what I was suggesting you could do something like was done for the copyright URL right above it, fall back to a corrected version of the previous behavior, i.e. the hardcoded path, unless the existing behavior was always broken and never actually functioned as intended (which may be the case, I didn't trawl through the full commit history to check).

I'm puzzeled: the current implementation works on some pages but not all. It works at least on:

• https://docs.python.org/3.11/copyright.html
• https://docs.python.org/3.11/license.html

Hum, no, I'm just not awaken yet, on those page, it work like on many other pages: it redirects on the "Current page". In all cases it's a <a href="".

I modified my PR a bit to avoid changing the msgid for translators.