Fix some mixed content problems

These problems manifest themselves with HTTPS Everywhere installed, and will become much more obvious when GitHub turns on SSL for GitHub Pages by default (assuming they do so).