This list of tools is very interesting (thanks!).
I have a related question. What tools do you use once you have downloaded
the HTML files to (batch-)convert them in reasonably clean "plain" text?
This archive was generated by hypermail 2b29 : Mon Mar 27 2000 - 11:10:46 MET DST