In the top level of the editor for a module, you are able to chose any ModuleName, ModuleVersion, and ModuleDescription that you want. For an extension, you can set the version and description, but not a name. So the name given to an extension in Main Window of Vassal is whatever the file name is. Would it be possible to add an ExtensionName option to the Extension properties so we could give it a name just like a module.