Export as selenese .html file

[angularsen]

Hi, I can't seem to find this option. Save as uses .json, and the .html option is not listed in the export dialog.
Was this removed at some point?

I need the HTML format for use with a monitoring site, which does not support the JSON format.