[bug-gawk] tag-based (id=)' hidden index for 'long' pages?

[belu]

: - ) Hello,

 

Would it be possible, on …‘long’ pages in the online manual (e.g. for me presently http://gnu.org/software/gawk/manual/html_node/String-Functions.html), to add an …‘embedded’/hidden …’index’ (i.e via “id=” tags, in the page source)?   (Indeed) like many (i suppose) i use my browser’s history as a ‘notebook’ (as i browse i continuously edit/prune the pages saved in the history, it so as to keep only value/final links).

 

In this way, in the present case for instance, i could just keep

 

http://gnu.org/software/gawk/manual/html_node/String-Functions.html#NameOfFunctionIcameToLearnAbout

 

in my history, and delete all the search that lead me to it : - ) !!

 

Thanks !! : - )

 

Adi (Paris, France)