JB> If we are changing this, please change it to ISO8601 format. Again, we should try to avoid changing externally visible behaviour.

WS> Agreed, I believe that YYYY-MM-DD HH:MM:SS is iso8601 compliant though, even though it does not have a timezone offset specified, More generally, the reason I changed this is because "%H%M%S" appeared less readble to me in the output and this change was actually a suggestion. If you agree to changing it, do you want me to output it in the Z timezone?