http-everywhere add-in breaks "save as pdf" option in wikipedia<br>