I am also replacing some existing icons with reworked ones that look better at small sizes. I think that these icons are now comparable to the png ones as regards quality at the default size.
