It’s not Monday, so why am I posting something new? Just a quick announcement: I’ve migrated joshuarogers.net from http to https. http://joshuarogers.net now just returns a 302 Redirect to the appropriate https page.