Re: [Python-Dev] Re: Are we collecting benchmark results across machines