Andreas Gohr <andi@xxxxxxxxxxxxxx>:
Nevertheless we need to think about replacing the forum software
rather soon. It is no longer maintained and does not work with PHP 7.
Personally I would like to switch to discourse, but we need to figure
out how to transfer the posts over. If anyone has experience with
running an instance, please let me know. I could use some help setting
up a test version.