On 11/11/12 00:27, Bruno Girin wrote: > sudo apt-get install gnome-nettool gnome-search-tool I also upgraded and sure enough they were not installed. I thought it was odd that anyone would choose to drop them. The file lens is no substitute for the old search system.