I’m not sure - I’m only useful for stuff that can be edited directly in the page, and I see those redirects are not there i.e. sit outside of that.
Re deprecating v2 onions, not sure if that is a good idea. v3 are still considered experimental by the Tor Project, and I remember multiple occasions in the recent past when the v3 Whonix onion was sketchy or wouldn’t connect, but the v2 onions still did.
Possible, easy (?) solution re: redirecting all Tor Browser users seamlessly from whonix.org clearnet address to the v3 .onion (or I guess v2 .onion as backup)
In addition, we now check if someone visiting our clearnet address is coming from a known Tor exit node, and then seamlessly redirect them to our onion address so they can benefit from the extra protections offered by the network.
It’s a cool idea but not really a solution. It’s a server side thing.
user visits onion -> user clicks clearnet link (because popular web apps don’t support being on two domains at once) -> server notices clearnet request from Tor user -> server redirects to onion.
Under the threat model of SSL being broken and MITM:
user visits onion -> user clicks clearnet link (because popular web apps don’t support being on two domains at once) -> MITM keeps redirecting to https.
This should be fixed now (at least when visiting the home page). When on .onion (either v2 or v3) the link to Forums and News will be the respective forums onion address.
With regards to the Drop-down nav on the wiki itself (the link to the home page, and the Blog page (which is defunct anyway), that’s different, not sure it can be fixed in MediaWiki.