what is the file format for html help workshop?
(AND computer.file_format (JOIN computer.file_format.written_by m.02l0y7z))