https://blog.jupyter.org/posts/2023/anywidget-jupyter-widgets-made-easy/