I haven't been following this area recently, so... what are the current tools used to generate HTML (or TeX/XML/whatever) from docstrings? There's pythondoc, ?!ng's htmldoc... any others? What do most people use for this task? --amk