Notes on how to set up Nginx to redirect HTTP to HTTPS in EC2.