Hopefully the update should not be too complicated: - look into the new Lumino API to list plugins - https://jupyterlab.readthedocs.io/en/latest/extension/extension_migration.html#jupyterlab-3-x-to-4-x