Turns out that I had port :443 bound to a different website!
The above rewrite rules work fine for http:// to https:// rewriting and vice-versa — though there might be more optimal or simple ways to do it.
Leaving this question here for future voyagers to find, as I didn’t see many good examples of the https:// to http:// rewriting scenario on the web.