> Hmm. Do we still store PEPs on SF? Checkins don't seem to have any > effect. In theory, a cron job comes along a bit later and updates the html for www.python.org/peps . Raymond