Update configuration pages docs
I tried to push a small change (online) at gitlab to tweak Yuri's English just a little bit. I have done this six times today. The commit fails every time with error 408 (timed out), thrown by the Apache server.
Is there a problem with gitlab? Or might it be my vpn? (Everything worked OK yesterday. I have made no recent changes on my end.) Thanks!