Sorry, you’re right ! I did search for a bit before posting but didn’t found that post. Note however that at the time this was not as well integrated to GitHub, you had to go to vscode.dev.
I knew about your post but I thought that the PR maker was experimental, if it is ready to be used then yes THAT should be in the doc, it’s so much easier !
I only made a quick test with it but next time I want to contribute to the doc I’ll use that. It would be great if it was made official …
Please do! That’s the only advantage the visual studio web editor has vs the PR maker.
Now that there is a monaco plugin for tiddlywiki, maybe this would be even better than codemirror ?