https://tongfamily.com/2021/03/19/writing-documents-with-deepnote-and-bringing-jupyter-lab-up-to-snuff-with-extensions/