What does this mean for users who are already encrypting their drives with something else like VeraCrypt?