SSH Search Provider Reborn Gnome Shell Extension
Secondary distribution site.
Provide SSH search results in Gnome Shell overview
Gnome Shell Extensions:
https://extensions.gnome.org/extension/1714/ssh-search-provider-reborn/
GitHub:
https://github.com/F-i-f/ssh-search-provider