https://blog.jupyter.org/posts/2023/updating-defaults-on-mybinder-org/