Random logouts

For the past couple of weeks, people have been complaining about random logouts. This should now be a thing of the past – if anyone is still experiencing these, please let me know. (If you’re online as I’m posting this message, you may need to log out and log back in again.)