Moteurs de recherche

Comme sur l'ancienne version, il est désormais possible de ne faire une recherche que dans les infos à partir de la page de recherche. C'est d'autant plus pratique que Google, qui est utilisé pour faire une recherche sur le site, n'a pas encore mis à jour sa base de données suite au changement de version. En attendant, de nombreux anciens liens stockés par Google ne sont plus pertinents, à commencer par ceux des infos.