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