Stored Web Export

From v11.8.0, Tinderbox files are now saved with additional text information for the used of the experimental Tinderbox Web Reader. File sizes will increase noticeably, perhaps ~25%. It is likely that some or all of the additional space will eventually be reclaimed. Document saving may appear slower; this also will improve presently.