Does Baidu comply with the robots.txt protocol?