undefined

points

[-]

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...