Extensão para busca rápida no GNOME
