title: Add leading zero to the hours in a date and time string
body: <p>I have a variable <code>time = &quot;12/13/2020 7:59&quot;</code> and I would like to convert the string to <code>&quot;12/13/2020 07:59&quot;</code> (with leading zero before time-part).</p>
  <p>I am not sure how to format it so that the hour has two digits.</p>