Does anyone know of a way to convert HTML to ascii-style formatting in Python? (Think reverse Markdown.)
Edited to add: Bruno recommended Pandoc, which seems perfect.