/pypy/doc/tool/