* [HTML,EXT] Added option verbose to html_download/3.