python3-jupyterlab_pygments
