fix dates and times

Background: When specifying a time, some positions may have either one or two digits (e.g. “1 PM” vs “11 PM”), but other positions always have a leading zero, no matter what (e.g. “1:01” and “1:11” both have three digits). Proposal: The inconsistency in digits is unnecessary and leads to weird sorting behavior. For example, if…