[Bug 1901759] Review Request: python-jupyterlab_pygments - Pygments theme