I’d generally prefer option #1, as it is the cleanest and simplifies the rules.
However, given the widespread usage of backticks, this would likely confuse users. Then again, that’s probably worth it since we can simplify things.
Are there any rules regarding the breaking of backwards compatibility in cases like these? How does CommonMark generally handle those things?