@jupyterlab/vdom-extension@0.12.0