The hosting company informed me that a downtime is possible tonight (general technical maintenance). IRC (our chat server) will probably not reboot automatically, so I will re-boot it manually tomorrow morning or afternoon.