[Python-ideas] Re: Add a `count` argument to `list.remove`