0001-no-doc-badges.patch
