Automatically redirect HTTP pages to their HTTPS equivalent
As of 24. 10. 2025. See the latest version.
