When using hide-note-references=On, info will find strings in nodelines -- something it will not do when not using that option.
To reproduce, make your .infokey file consist of these two lines: #var hide-note-references=On Then run 'info info' and type: / style <Enter> } The cursor will sit in the node line of section 12, instead of in the title of section 13 -- where two more } will bring you. This is a minor nuisance. But it becomes puzzling when you also use "nodeline=no". Then the cursor will sit at the top of section 12 without any occurrence being highlighted. :| $ info --version | head -1 info (GNU texinfo) 6.5 Benno
