Updating the boards

[julien]

Hello all,

I'll be updating the boards today, which should make the forums unavailable for around an hour.
Following the update, please don't hesitate to report any dysfunctioning you might observe on the forums.

This will probably be the last update before we switch servers, probably sometime between September and November (unsurprisingly, this corresponds with that period of the year when traffic peaks).

Thank you !

Julien