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