Remove leading zeros in Python datetime formatting · HackerTrans