MySQL is Down - Affects Editor and Other Tools

[abstract]

Hi gang, the server is having a MySQL issue. We have notified the server folks. We did not do anything so hopefully all will be fixed soon.

[abstract]

This has been fixed.