Re: [Python-ideas] lint in stdlib