0002-Remove-some-theme-options-to-avoid-needless-badges-i.patch
