Due to a mistake by one of the administrators (me) that erased a longtime user, we restored the forum contents from backup. Any posts or other activity from roughly the last ten hours was lost in the restore. My apologies for that, but everything should be okay now.