0001-Remove-remote-badges-to-prevent-privacy-issues.patch
0002-Set-hljs-style-to-github-so-dh_mkdocs-picks-it-up.patch
