Sorry about the downtime last night!

I woke up and noticed that the server was down. I think that there were two different issues happening at once - one related to nginx, and the other related to a memory limit I recently set on a docker container. Issues are fixed now. Sorry!