robots.txt isn't legally binding. Can Reddit really force Bing not to crawl it..?