Hey everyone, just wanted to let you know that we’re doing some DNS changes today to the server. It’s going to make the site access a bit flaky for a little bit but please don’t worry about it.

Things should be ok for sure by Sunday but probably beforehand for most people.