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.