Update-docs-ignored-headers.patch
