Update generated robots.txt
fixes #5533