New Server!

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

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.

06 May 2021

2 Replies to “New Server!”

Tijn says:

Yay to faster downloads!

Leave a Reply