Server and Portal Downtime for 0.4.2 Release [UPDATED]