I have been installing several version of Komodo editor. (The installation consist of extracting a .tar.gz archive and then running an .sh script as root.)
Yesterday I installed Gnome 3.
Now I see in "Application" section of Gnome Shell both "Komodo Edit 7" and "Komodo Edit 5" despite of only "Komodo Edit 7" is installed.
How to remove the old icon?