If it was man, keep in mind that "man ohman" is essentially "nroff -man /usr/share/man/man1/ohman.1 | $PAGER" so you're not interacting with man or nroff but a

If it was man, keep in mind that "man ohman" is essentially "nroff -man /usr/share/man/man1/ohman.1 | $PAGER" so you're not interacting with man or nroff but a pager. Nowadays, less (or more, which is probably actually less) is the most common pager but there were others and HPUX may have used something like pg. pg was an AT&T thing, more was a BSD thing, less was a GNU thing. With all 3, / starts a regular expression search so you could use that to search for anything, underlined or not. Less also supports tag files so you could use 't' to jump to the next tag.