2023-01-24 Moving server

Today, I'm moving this website to a new server with a new Debian version. This may mean some interruptions.