Use external tool `w3m' for dumping html to plain texts.