https://monodes.com/predaelli/2021/01/12/10-jupyter-lab-extensions-to-boost-your-productivity/