Remove leading zeros in Python datetime formatting | Hacker News Reader