format the source of files exported as html
I suggest that when a file is exported as html, that by default the source should be formatted for reading (so-called "pretty printed"). Html is nearly always formatted in this way. It makes it possible to read the styles that were used in a previous document, or extend a document with more advanced css or javascript etc. Perhaps there should be an option not to format, which would in theory give some tiny improvement in download time, negligible in comparison with the images nearly always present in a web page. If one is using html at all one is most likely talking about short but graphically intense pages, not a whole book. I realise that html view already pretty prints, but this is too cumbersome to use every time to export a file.