[NobodyNada]

I typed that comment on iOS Safari, which defaults to smart punctuation (and I've never bothered to turn it off).

[kingcharles]

Thanks for the info. I prefer the fancy punctuation. I wonder if I can switch it on in other browsers, an extension maybe..