Removed support for the HTML formatter