[Python-ideas] Re: Allow regex group name redefinitions