Probably because it's so small that the benefits of making it an SVG would be almost nil. I mean, look at this thing: https://news.ycombinator.com/y18.gif http

Probably because it's so small that the benefits of making it an SVG would be almost nil. I mean, look at this thing: https://news.ycombinator.com/y18.gif https://news.ycombinator.com/y18.gif It's 0.1KB. It's so small that any SVG version of it would actually be a larger file (seriously, I tested it with an SVG converter script online, and the SVG came back at 0.6KB). There's no practical reason to convert it, at least not as far as file size is concerned.