Note that the admin may prefer you
tell him so the server can be fixed.

That's done now. We'll see what happens next time I reboot.

Thanks for all your attention!