Board3

Besides moving to a new hoster after 15 years, the forum have been updated to phpBB 3.3.9. As well we switched to PHP 8.
Please report any issues - thank you!

As we are in the run - the board have just been updated to phpBB 3.3.10