Re: [Python-ideas] Rename time module to "posixtime"

I would not mind keeping time.py indefinitely with or without deprecation warnings.

As long as the documentation points beginners to datetime, and people looking for unixy API to posixtime, I agree that deprecation warnings are not mandatory.