| Attribute Data Type: | string |
| Attribute Default Value: | (not set - empty string) |
| Atrribute Group: | HTML |
| Atrribute Purpose: | HTML exported file configuration |
| Attribute Inherited from Preferences? | No |
| Attribute Read-Only? | No |
New to v5.9.0, this allows more flexibility with the construction of filenames created via HTML Export. The attribute value is used to replace any character normally suppressed on export.
Reflecting the fact that long-term Tinderbox-created websites might be affected, the default value is an empty string, thus maintaining the status quo.
If used, it is most likely needed for all exported pages and thus should be set by changing the attribute default (i.e. at document level) rather than by setting the attribute at note level.
Default: (not set - empty string)
