If an existing VEX file is regenerated, the existing VEX file is always preserved and a revision record is added to generated VEX file. Add an option to optionally disable this feature.
If an existing VEX file is regenerated, the existing VEX file is always preserved and a revision record is added to generated VEX file.
Add an option to optionally disable this feature.