No idea. I just know there are very rigid ways of entering the rules for http -> https redirects on web servers. There's dozens of ways you can mess up, so take a guess.