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.


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