TIOBE 居然有统计 Baidu 的搜索? "The popular search engines Google, Bing, Yahoo!, Wikipedia, Amazon, YouTube and Baidu are used to calculate the ratings."