Re: [Python-ideas] dict.merge(d1, d2, ...) (Counter proposal for PEP 584)