Aahz wrote: > [*] General note to the list: see how I'm using both the PEP number and > the title. Maybe the Python-Dev list server could pass everything through a filter that looks for "PEP xxxx" references and inserts the PEP title after them? :-) -- Greg