IIRC they were recently bumped to improve appearance on high-density displays etc (hence the 32x32 and 64x64 sizes) yes. If we can reduce the file size without dumping the larger sizes that'd be nice.

Not sure how badly we really need the 32x32 if we have 64x64, that's true....