Re: [Python-ideas] Minimal built-ins (+ tiny doc suggestion)