pub const VAULTS_FILE: &str = "projects.json";
The file keeps its pre-VA name, like the field names in it: an older engine (downgrade, or a teammate’s machine) still reads it.