https://en.wikipedia.org/wiki/Wikipedia_talk:AutoWikiBrowser#Request_to_change_banner_shell_general_fixes
Request details now at https://en.wikipedia.org/wiki/Wikipedia_talk:AutoWikiBrowser/Archive_34#Request_to_change_banner_shell_general_fixes