2017-02-24: We have updated the operating system of our servers. Things are working fine we think. Thanks for your patience
(Other news …)
If you 'click this box' it will update and show you which users are editing the same page as you. It will also update if you change the contents of the edit field.