Day: April 10, 2021

HTTPS default

I thought I had done this before, but apparently not: the site is switched to https by default.  Tell me if you notice problems from that.