https://pypi.org/project/jupyterlab-pygments/ https://github.com/jupyterlab/jupyterlab_pygments/
