Hi, all!
It's time for another "site maintenance event", which will impact this site during the hours of 4pm tomorrow to 4am on Thursday. As usual, for most of the time you will notice nothing, but you may encounter our friendly robot occasionally, for periods of up to 30 seconds.
Here's hoping it doesn't happen at a particularly bad time...