A JupyterLab 3.0 extension for Jupyter/IPython widgets.