exporting html log

From the visual interface,

when exporting a html log file it would be nice if you can rename the output file rather than just over writing the last version with the default name

Lee_M_1-1636454794628.png