On Fri, Jan 9, 2009 at 09:50, Benjamin Peterson <benjamin at python.org> wrote: > This is just a note that the PEP index (PEP 0) is now automatically > generated, so you need not bother to update any more. Thanks for getting this done! -Brett