Gnome Shell Extension: Provide SSH search results in overview