I just updated the forum - it took 14 minutes.
During this time the forum is mostly not reachable and it might happen that someone is starting writing a post before I update and then the post gets lost.
So in the future I will give a heads up about maintenance time.
How long should the heads-up be?
1: a few minutes
2: an hour
3: a few hours
4: a day
5: a few days