Parece que la herramienta de búsqueda gnome no está disponible en Bionic. En https://launchpad.net/ubuntu/bionic/amd64/gnome-search-tool/3.6.0-2 dice estado eliminado. Descargué el deb del repositorio propuesto de Wily e instalé eso en Bionic y funciona bien. Entonces, ¿por qué se ha eliminado?...