Can someone please explain the implications for current Windows users of VeraCrypt?