[compsoc-announce] Downtime for stanley.ox.compsoc.net