Some discussion on this at Drop-In with various parties, though seemingly always
while Andrew was in a breakout or had left. :-(
* Oscar has a JS formatter that we can switch to, he will work on making it
command line-friendly. That should solve the immediate problem of wayward
indentation when producing annotated versions for the website.
* Brad is doing the formatting for the Runestone copy of the sample book by
scraping the source for various objects from source hosted on GitHub. A nice hack.
* The @include-source attribute, as implemented today, trades on code meant
only to support the website. So that code should not be expected to be
univesally supportd for all authors and all projects.
* The necessity of having authors display PreTeXt source in their HTML output
is an open question. (Rather than providing documentation of *how* to author
PreTeXt.)
Rob