Recherche dans le contenu des fichiers

L'onglet File Search de la section Settings n'existe plus : la recherche dans les fichiers est désormais une section distincte du menu latéral. Les paramètres sont décrits sur la page « Paramètres de la recherche dans les fichiers », et la recherche elle-même dans la section « File Search ».