Use an SVG badge for docs.