Your comments

Additionally, it would be nice if one could jump from the HTML to the corresponding location in the source file. LaTeX does that for PDF files, via SyncTeX [1]. Does not seem easy to implement, but incredibly useful.


[1] http://mactex-wiki.tug.org/wiki/index.php/SyncTeX

 Another use case: show a table of contents for a LaTeX file or a Markdown file.