Add "--html" option to write NNNN.html output file