[Ugh....]
The reboot somehow failed.
All that is to be seen on the server currently is this text. No moving icon, nothing else. The bots can't be started again currently.
And since sleep is a thing even among admins and developers, you can probably expect some hours of downtime now... Sorry.
