Change http to https. Progress on #894.