[Python-Dev] Tools directory (Was RE: Replacement for print in Python 3.0)

[Jim Jewett]

> How should we document [the tools directory]

At the interactive prompt, help() lets me get a list
of topics (not including tools), keywords, or modules --
but no mention of tools.

I didn't find any references at http://python.org/doc/

The tutorial does mention the standard library (and
the library reference documents it), but I didn't find
any suggestion in either that there was another 
library out there under a Tools or Scripts directory.

-jJ