https://www.omgubuntu.co.uk/2017/08/gnome-shell-search-improvements