Update doc
Merge branch 'public' into pypy