Re: [Python-ideas] pop multiple elements of a list at once