Hey guys,
I'm on vacation from September 1st to September 12th and plan to upgrade our servers to Debian 13 (Trixie) during this time. I'll let you know as soon as possible when there will be downtime. :)
core.envs.net needs to be upgraded to Debian 12 before this step. We skipped this release on the core server because I never got around to it.