Re: [Python-Dev] Improving docs for len() of set