remove-github-button.patch
disable-intersphinx-closes-1090130.patch
