There was a lot of discussion about converting these to PNG, so I just went and did it. I included source code, so you can get them in whatever size you want. E

There was a lot of discussion about converting these to PNG, so I just went and did it. I included source code, so you can get them in whatever size you want. Earlier discussion of the icons here: http://news.ycombinator.com/item?id=1416677 http://news.ycombinator.com/item?id=1416677