On that note: Andrei, how do I get in contact with whoever runs theserver to get that going?Jan Knepper is our webmaster. You can find his contact info at https://www.janknepper.com/.
It seems his email server is down. Do you know of any other way to contact him?