The on-line manual and the PS document are produced from a unique LaTeX source file which is not provided in this distribution.
In each subwindow of the manual box (see §5.1 page 
), you can
enter one character to move quickly through the index window
to the first item beginning with this character.
