The SVG logos in [`public/img/logo_svg`](https://github.com/openzipkin/openzipkin.github.io/tree/master/public/img/logo_svg) are not fully SVG but just embedded PNGs in an SVG tag, which defeats the purpose of vector graphics. Would it be possible to upload the fully vectorised versions of these logos?