Update, 31st of July: Unfortunately, it will take a few more days to fix. We're working on it. It should be fixed on the 3rd of August.

Over the past day or so, the server has been quite a bit slower than usually. Due to vacation time, it hasn't been dealt with as fast as it'd usually be, but we expect it to be solved at some point today.

We're sorry for the inconvenience.