It's an online service which does a bloody good job of turning several different types and styles of bitmap into good vector images. In this case it managed to do this, which I was well impressed with:
(it doesn't show up quite so well in the 100x100 icon, but it's much better than it was as a scaled bitmap. I may work on that when I've got more time)