[PRQ#42129] Deletion Request for veracrypt-git-no-gost