Theme handler leaks all codemirror editors

[freshstrangemusic]

We add our code mirror editors to a Set, which prevents them from being gc-ed when we save the page and replace them with new editors.

┆Issue is synchronized with this Jira Task