py-jupyterlab_widgets is a stub port
