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 _______________________________________________ Python-Dev mailing list Python-Dev@python.org http://mail.python.org/mailman/listinfo/python-dev Unsubscribe: http://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com