disable-external-doc-badges.patch
