[pypy-dev] Leysin sprint?