This file is used to redirect all HTTP requests to HTTPS. It should not be accessed directly.