Re: [Speed] [pypy-dev] Co-ordinating benchmarking