gnome-extra/gnome-characters: remove old