Bitmain IPO planned for Hong Kong stock exchange. Is Bitmain really...