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.
I’m in the U.S. Eastern time zone, so like 8 or 9 am your time would be the middle of the night for me, which would be ideal, but honestly 10 minutes of downtime in the afternoon (this update will be 4 pm my time) isn’t going to hurt. you do the work running the server, you should do updates when it’s convenient for you.