https://blog.jupyter.org/posts/2026/700-jupyterlab-4-extensions/