Migration to a new server! (2023)
On 24/JUL/2023: a brand new server with the very fresh operating system (Ubuntu 20) welcomes all our users! The server is very fast and has plenty of resources. No more migrations are expected for at least the next 5 years.