FYI the hosting service I use to host this site needs to do some maintenance on July 3rd. It will be, at most, a couple hours of downtime around 03:00 UTC (7am EST). So... there you go.