Unscheduled reboot at 13:00 GMT to fix minor issues

We apologize for the inconvenience.