Re: [Python-ideas] Adding "+" and "+=" operators to dict