Hi folks!,

A server migration is in progress, and you may experience some oddities
(especially in this forum) for less than a hour if everything is migrating
smoothly.

Sorry for the inconvenience!