Hi everybody,

In the course of maintenance, I'll reboot stat1008 within the next 1-2
hours. The reboot is necessary to properly update the alternative kernel module
for GPU access[1], so GPU functionality might not be available immediately
after reboot. I will send a follow up mail once things are back to normal.

Best,

Tobias