In retrospect, what could they have done to avoid being bought by Tencent?