Proton isn’t giving up VPN users. It’s giving up mail users. There’s a huge legal difference.