@BunxBun Of course, some server admins want to be difficult, and thus make difficulties for themselves (and their users).
My point is that in normal 80&443 deployments everything on port 80 should be mirrored by port 443; in fact, in most cases the only thing on 80 is a configuration to redirect everybody to 443.