changed GMT to EDT in deployments.html