The US government may have forgotten about banning TikTok