title: Remove leading zeros from time format
body: <p>I am receiving a string in this format <code>'HH:mm:ss'</code>. I would like to remove the leading zeros but always keeping the the last four character eg <code>m:ss</code> even if <code>m</code> would be a zero. I am formatting audio duration.</p>
  
  <p>Examples:</p>
  
  <p><code>00:03:15</code> => <code>3:15</code><br>
  <code>10:10:10</code> => <code>10:10:10</code> <br>
  <code>00:00:00</code> => <code>0:00</code> <br>
  <code>04:00:00</code> => <code>4:00:00</code> <br>
  <code>00:42:32</code> => <code>42:32</code> <br>
  <code>00:00:18</code> => <code>0:18</code> <br>
  <code>00:00:08</code> => <code>0:08</code> <br></p>