Clément Pit-Claudel

I emailed emacs-devel

That's an idea, but I'm sure we can find simpler ways :) I'll wait for the answer from emacs-devel

https://lists.gnu.org/archive/html/emacs-devel/2019-05/msg00155.html is where the thread started. Unfortunately, it didn't really reach a conclusion.

Interesting! If we can make it extensible with minimal changes to the library, I'd be OK with merging a PR :)

Thanks for the report. It looks like rebuilding with thread support disable should fix this.

Thanks! > These details aside, do you expect to be using this distinction? Is there JS code in the wild relying on this? No, I don't expect to write any...

> Then should we go for a more obvious warning via font-lock rather than parsing the code in a different way? That would be a reasonably good workaround, I think.

Do you know what changed (a sphinx update maybe?)

Maybe sphinx_rtd_theme, then? Can you try pinning it to a previous release and seeing if that still happens?

Sorry, I missed your messages. I'd use a custom stylesheet to work around this problem; let me know if you need help writing it. > actually, is there any way...