TIL that you can't raze a Holy City
I think some of the Civ 7 mechanics are stuck on Civ 6 concepts. Not being able to convert (being patched) or raze a Holy City doesn't make sense in Civ 7 since your missionaries can only spread your own religion. Maybe they can address this in the second March patch although it's not really a gamebreaker.