Gnome Shell Extension: Provide SSH search results in overview - View it on GitHub