> There are however various other niceties that could be added to make it more > useful, can this be put into the repository or something? Ping, do you think you could check this in into the nondist tree? nondist/sandbox/help would seem a good name (next to Paul's nondist/sandbox/doctools). --Guido van Rossum (home page: http://www.python.org/~guido/)