Merge pull request #13104 from christophemaximin/fix_robots_txt_link

Fix URL to robots.txt documentation [ci skip]