So, we finally moved the site over to a new server. It seems like everything went smoothly, but please let us know if you experience any problems (mail to email@example.com).
The old server was a decade old virtual server with no sensible path to update the operating system, so we ran outdated versions of basically everything. What a mess, haha. It was also so resource limited that we had to rate limit all downloads. All this is over now!
Enjoy the new server.