They should have also picked up that WireGuard Creator account also got his account terminated

They did, just further into the article:

> According to a post on Hacker News, the popular VPN client WireGuard is facing the same issue.

I meant to say, in the title. As Wireguard is way more popular than VeraCrypt...