console: added "as-html-doc" option