No need for the HTML dump.