LaTeX files converted to Markdown, to use with pandoc.
JSON appendix updated.