Helpdesk service on-line 7:45 Friday

Maintenance finished at 7:45, Friday, Aug. 4.
Service restored