I hope this is actually of no concern to anybody! For technical reasons I have moved the domain name registration to a different registrar. This can have a possible side effect of affecting email delivery, if I messed up anything (it’s pretty complex).
So please let me know if you encounter any issues related to mail to and from the forum.