I was pondering packaging jupyterlab_pygments for Debian, but the LICENSE file says something about a semver.py I don't see in the archive. Did I miss something or was the LICENSE file copied from elsewhere without seeing it needed updating?