The new versions of the manual have an integrated index that can be searched and displayed on a sidebar. Clicking on an index entry takes you straight to the relevant part of the page.