[lifthrasiir]

12:34:56 2007-08-09 would work equally, though. (EDIT: oops, no.)

[ustolemyname]

How do I cleanly express single digit minutes?

The format string "4 minutes after 12", is unique, but it's not clear that I could turn "34" into "4". Similar for the hour (12 is now 2).

That would also break the "Print this exact time in the format you're currently using" method of creating a compatible time format string.

[fafner]

That's not ISO format though.