Extra icons for the GNOME icon sets
