Further modifying datestr in exported Chebgui files.