[Python-ideas] Fwd: Re: PEP 584: Add + and += operators to the built-in dict class.