Ok ok I see it in e.g., https://nn-512.com/browse/NN-512#64.
The anchor tags for the listings go to top instead of being self-referencing. Is that a bug?
Like
format = `<h3 id="%d"><a href="#0">%s</a></h3>` +
Should be format = `<h3 id="%d"><a href="#%d">%s</a></h3>` +
And Fprintf should duplicate a parameter?