Default Vortex Compiled and Lock Extensions Changed - Caveat

In Texis version 8, the default Vortex compiled extension changed from .vtx to .vsc, and the default lock extension (a temporary file used during compilation) from .vtc to .vso. This facilitates command-line tab completion, as the source extension (.vs) is a prefix of both. Both may be changed in texis.ini; see here.