Website maintenance 9th Feb, 10am UTC

I'll be performing some maintenance to our website on Tues 9th Feb from
around 10am UTC. I'm not expecting it to be disruptive, but it's a
large reconfiguration of Apache so please try again later if you
experience a problem.

This covers the main documentation website, yum repos and apt archives
on Redmine (issue tracker) and CI will be unaffected.

··· -- Dominic Cleal