py-ipywidgets is a stub port
