Badges are crisper as svg

[skip ci]