Der PR wurde soeben gemergt: 
Wenn du auf die neueste Version mit durchgelaufenen Tests aktualisierst, kannst du die robots.txt unter /admin/customize/robots anpassen. Die Seite ist nirgendwo in der Benutzeroberfläche verlinkt; du musst die URL manuell in deinen Browser kopieren und einfügen.
Hinweis: Wenn du die Datei überschreibst, werden spätere Änderungen an den Seiteneinstellungen, die die robots.txt beeinflussen (z. B. whitelisted crawler user agents usw.), nicht auf die Datei angewendet (die Einstellungen werden zwar korrekt gespeichert, aber die Änderungen spiegeln sich nicht in der robots.txt wider). Du kannst zur Standardversion zurückkehren, und die Seiteneinstellungen werden wieder auf die Datei angewendet.
Wenn es Überschreibungen gibt und ein Administrator die Datei unter /robots.txt ansieht, wird oben ein Kommentar angezeigt, der darauf hinweist, dass Überschreibungen vorhanden sind, sowie Links, über die die Datei geändert oder auf die Standardversion zurückgesetzt werden kann.