[Python-ideas] Re: A "name" attribute for synchronization primitives