GitHub repository: org-acidburn0zzz/ssh-search-provider
Description: Gnome Shell Extension: Provide SSH search results in Gnome Shell overview