/* #REDIRECT */mw.loader.load("https://www.whonix.org/w/index.php?title=MediaWiki:Header.js\u0026action=raw\u0026ctype=text/javascript");