We made some updates to the server infrastructure which caused a few minutes of downtime during the global DNS propagation today. The website is now up and working as normal again.