Open
Description
This was briefly discussed offline at some point.
Maybe we should consider moving this extension to the jupyterlab-contrib
organization on GitHub? https://github.com/jupyterlab-contrib
This could help make the extension more visible, and highlight the fact it is developed by the community.
Metadata
Metadata
Assignees
Labels
No labels