The PR is done: Modify Signals to render a HTML button without React. by adpatter · Pull Request #148 · jupyterlab/extension-examples · GitHub