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 am from the Netherlands, so I am in the same time zone. I think the time is fine because (at least on weekdays) most people in that timezone might be preparing for the night anyway. For people living in different time zones this obviously will be different, but I have no idea whether we are de facto a (mostly) EU-based server.