Argument of type 'import("/home/runner/work/notebook/notebook/.jupyter_releaser_checkout/node_modules/@jupyterlab/rendermime-interfaces/lib/index").IRenderMime.IExtensionModule[]' is not assignable to parameter of type 'import("/home/runner/work/notebook/notebook/.jupyter_releaser_checkout/node_modules/@jupyterlab/translation/node_modules/@jupyterlab/rendermime-interfaces/lib/index").IRenderMime.IExtensionModule[]'.