[python-committers] PEPs repo converted

Please commit any PEP changes to hg.python.org/peps.

Also, sorry for the span on -checkins, I should not have enabled the notification hook before pushing all changes :)

Georg