0003-docs-moved-to-python-pygments-doc-binary-package.patch
