It's pretty hacky, but you end up with a single HTML file with Vinge's notes in a side margin, with numbers and everything. There's probably ways that the title bits could be improved, but I'm too lazy to fix it now that I have the actual HTML file.
Good luck! Let me know if you have questions, I may be able to help.
The code I used is here: https://gist.github.com/bocajnotnef/f3f43acc065a2a1a4dd433b8...
It's pretty hacky, but you end up with a single HTML file with Vinge's notes in a side margin, with numbers and everything. There's probably ways that the title bits could be improved, but I'm too lazy to fix it now that I have the actual HTML file.
Good luck! Let me know if you have questions, I may be able to help.