ircbox, cipterm0 Maintenance

On 3rd August ircbox and cipterm0 will be rebooted. Both will be unavailable between 10pm-12pm for a short period of time.

-- Michael Gebhard