An obituary for Baidu argues China’s vast internet has no search engine