Moving all this code to www.w3.org/Tools/
Redirectmatch permanent "(.*)" "https://www.w3.org/Tools/$1"