@asmallorange looks like everything is up again. Total downtime was only 18m. Not bad. Thanks for keeping me updated.