https://blog.jupyter.org/posts/2019/jupyter-community-workshop-jupyter-server-design-and/