Rebekka:

This has now been fixed, and here’s how we fixed it: We will now try to out-smart the operating system, by doing educated guesses on when, exactly, a user might not want to use Smart Punctuation at all. For example, we now auto-disable Smart Punctuation within code blocks, and we prioritize paragraph tags such as “divider”, so that the system can’t naively interfere. Let’s see how that works out in the long run.

Yess. Finally.