DO NOT EDIT any of

pypy.org/*.html

!!! Those files are all generated from

pypy.org/source/*.txt

so edit those. For more information about the process, see

pypy.org/source/README
