Comment on The US Is Considering a TP-Link Router Ban—Should You Worry?