py-jupyterlab is a stub port
