Marc, can you update PEP 100? You might want to retire the starship URL and use the PEP URL as the official location. --Guido van Rossum (home page: http://www.python.org/~guido/)