Please add a link to the PEP index (which is also missing from docs.python.org, though not from python.org/doc/. And consider at least some PEPs as part of the corpus indexed (ie, those with info not in the regular docs). tjr