I wonder about the choice of markup language. I understand that this was inherited from Mark Trapp's original decision to use it but that doesn't mean it has to continue. The reason I wonder if something else might be better is to better preserve the formatting of the original book, which uses things like underline in both parts of paragraphs as well as some section numbers, indenting sections of code from the left margin, and etc. which are not supported in GitHub's version of Markdown.
I wonder about the choice of markup language. I understand that this was inherited from Mark Trapp's original decision to use it but that doesn't mean it has to continue. The reason I wonder if something else might be better is to better preserve the formatting of the original book, which uses things like underline in both parts of paragraphs as well as some section numbers, indenting sections of code from the left margin, and etc. which are not supported in GitHub's version of Markdown.