My guess is that an ordinary system date is being formatted as a string using a routine that also converts finer grained times for logging. Which is to say the

My guess is that an ordinary system date is being formatted as a string using a routine that also converts finer grained times for logging. Which is to say there is some timeToString function that works for comment time stamps as ordinary system dates and for system event timestamps. It is engineered to be the simplest thing that might work. But that’s just a guess and I am often an idiot.