[tor-commits] [flashproxy/master] Handle robots.txt.