The organisation profile. GitHub renders profile/README.md on
https://github.com/dokimasia.
Nothing here is code. A change to the index is a change to what a first-time reader is told, so the numbers in it are the ones the definition states rather than ones somebody remembered.