Purtroppo il dubbio mi è venuto solo dopo aver scritto il post (stavo ancora lavorando con i proxy, di qui i problemi sulle mappe colore), quindi a questo punto correggo il tiro: sapete suggerirmi estensioni freeware per automatizzare lo switch da proxy a file originale? Quello che ho trovato anche su questo forum, non mi aiuta sul Vegas 17.