Hello fellow citizens,
I just got a notice that the operating system version of the server running these forums is outdated and that it won't receive any further updates... so I decided to upgrade it to a new version, that gets all the updates. Keeping an operating system up-to-date means less security issues, less bugs, less failures... so at some point there is no choice but to stop stalling the switch to the newer version, and just go ahead and do it 
This means there will be unfortunately some service disruption (during the upgrade everything will work, until the server reboots, which should not take long but... afterwards there might be some need of 'house cleaning') which I predict that will happen in the next few hours. I hope it doesn't take too long and doesn't affect you too much!
Cheers,
- Gwyn
P.S. Note that this will NOT affect the Portal!
... because I had to track it down to a slight configuration change for using PHP 5.5.9, which was tricky to do, and in the mean time I had to go to shop for some food!
