#819300 should provide default HTTPS mirrors for non-Debian releases too