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.