https://blog.jupyter.org/posts/2023/recent-keyboard-navigation-improvements-in-jupyter/