Re: [Python-Dev] When do sets shrink?