elapsed time format

while the finish time and start time format
allow hhmmss and mmss, elapsed does not because a number is
interpreted as seconds (not relevant for start/finish times).
this is tripping people up. the interpretation as seconds is
needed for timers. i could assume hhmmss if it’s 6 digits
(unlikely to be elapsed) but not 4 digits - so if i did something
it would need to be an option somewhere, or, change it round and
force seconds to have a format which is possibly the better
default because it less likely to be used…?

  i.e. propose

  "2345" = 23min 45 sec

  "012345" = 1 hr 23 min 45 sec

  "12345" = 1 hr 23 min 45 sec

"2345s" = 2345 seconds

"012345s" = 12345 seconds

  "12345s" = 12345 seconds

  An upgrade could convert existing elapsed times in files.

...

  cj