Commentary on the banning of TikTok