or we just drop the "very small icons" preference altogether.
It would be sad, I like "very small icons": little space, but still at hand if it would be needed.
 (I overdid with PNG optimization, sorry.)
P.S. It seems I'm beginning to dislike GTK3... At all.