@WhiteNoise
May I ask why?
I reported a similar bug that had to do with Obsidian’s implementation of CodeMirror. Initially, you didn’t want to open a bug either, but then @Licat (developer) came in and the Obsidian bug was fixed with the help of the CodeMirror developers.
This looks like almost an identical case.
That particular setting is marked “experimental” so that people would keep their eyes open and those types of issues could be tackled. I have kept my eyes open, noticed the bug and am now reporting it to be fixed. Why don’t you want to inform Obsidian developers of this bug?
If Obsidian’s developers investigate and find that the bug is in the CodeMirror, I can happily report the bug to them.