Hi everyone. You might have noticed the site wasn’t behaving normally earlier. The blog was hacked. It’s fixed now. However, it turns out that the hacker got access through the Forum software we were using. We have disabled the Forum for now. If it comes back, it will be different. Thanks for your patience!