一个小的Python3库包含了一些方便的工具，用于处理时间。特别适合于那些human友好的时间格式。