Don't write the HTML output to a hardcoded file

All formatters should play nice with the `-o` option.