I’d love a quick way to toggle “Smart punctuation” (just in so far as it affects double quotes) in iOS. Generally I want it on, but not inside HTML tags. I’ve set up a Shortcut to replace curly quotes but it means replacing the entire document with the clipboard!