HTML to text formatting using external programs
