Due to various random performance issues, I’ll be trying to move web servers shortly. So depending on how it all goes, you may experience temporary oddities. Normal service should resume as soon as possible.