[pierrelf]

Hmm Read/Write permissions for all user data on GitHub seems a bit excessive, and getting stuck on "Waiting Document initialize".

Cool idea nevertheless, I'd love to try this as a VSCode extension.