Remove leading zeros in Python datetime formatting | Dark Hacker News