web extension #2
Description
I don't know what the status of this project is, but I wanted to point out https://docs.github.com/en/codespaces/the-githubdev-web-based-editor#using-extensions somewhere.
In particular, it seems if we have a "web extension", contributors to pi-base can go to pi-base/data, press . to open a VS code instance in their browser, and load our web extension to get the full functionality we want to provide without any installation.