Adjust the `robots.txt` file (see #6906)