A tiny shell script I use to download and convert text data from HTML pages and convert it to txt format for my convenience.