dump-command added (html-dump)