Export with extension. Choose whether the names for the HTML files Tinderbox creates should end with the '.html' extension or '.htm' or use no extension. Note the string includes the period delimiting the extension, thus '.ext' and not 'ext'.
Default = '.html'.
This value seeds the default for $HTMLExportExtension. To use values other the three options offered, set $HTMLExportExtension directly.