Re: [Python-ideas] dict '+' operator and slicing support for pop