What about the "My Extensions" tab? It will show the extensions that have been installed on your system.
Anyway, since you can't find the extension through the search field, I still suspect something was customized; let's check two guesses. To do so, examine the `panel.ini` file for the next options...
Code:
[extensions]
blacklist = ...
Code:
[extensions]
catalog.url = ...