Add a robots.txt customization patch.