The era of robots.txt files being reasonable is gone too. Usually they either block everything, or block everything except Googlebot. If you want to make a search engine at all, you have to ignore robots.txt, ignore noindex, ignore nofollow, and so on. If we had your way, Google would have a legally enforced search engine monopoly.