Update the `robots.txt` file (see #6992)