This might be worth including in gnome-3-32 too, since the new icon revolution started in this very same version.