More HTTPS-always fixes to the website.