https://blog.jupyter.org/posts/2024/the-jupytext-menu-is-back/