Veracrypt continues where Truecrypt left off, FYI