HTTP redirect to HTTPS; gzipping