[Python-ideas] Re: Add a time-based synchronization primitive