I was whining about having to toggle smart punctuation in iOS, for straight quotes in HTML. But I don’t use smart punctuation for dashes, ellipses etc, just the Opt key combination. No reason not to do likewise with quotes and leave smart punctuation off for good.