The server has been upgraded and has more RAM now, so everything should be a little bit faster. I’ve also upgraded 3rd party frontends.

Side note, I don’t really know where are Lemmings.world users from, so if you left your preferred server maintenance time in your timezone in the comments, I’d appreciate it.