La PR vient d’être fusionnée 
Si vous mettez à jour vers la dernière version avec les tests validés, vous pourrez personnaliser le fichier robots.txt via /admin/customize/robots. Cette page n’est accessible depuis aucun lien de l’interface ; vous devrez copier-coller manuellement l’URL dans votre navigateur.
Remarque : si vous remplacez le fichier, tout changement ultérieur des paramètres du site qui modifie robots.txt (par exemple, whitelisted crawler user agents, etc.) ne s’appliquera plus au fichier (les paramètres seront enregistrés correctement, mais les modifications ne se refléteront pas dans robots.txt). Vous pouvez restaurer la version par défaut, auquel cas les paramètres du site s’appliqueront à nouveau au fichier.
Si des remplacements existent et qu’un administrateur consulte le fichier à l’adresse /robots.txt, un commentaire apparaîtra en haut indiquant la présence de remplacements, avec des liens permettant de modifier le fichier ou de revenir à la version par défaut.