[Andrew] > Should the full text of PEPs be posted at some point? The PEP PEP (PEP 1) could/should be clearer about this, but that was always the intent. That's why PEPs already have a Post-History tag at the start (and it wasn't meant to record events that happened after history ended <wink>).