BUG #14921: searchable docs

The following bug has been logged on the website:

Bug reference:      14921
Logged by:          Pieter van den Hombergh
Email address:      pieter.van.den.hombergh@gmail.com
PostgreSQL version: 10.1
Operating system:   linux
Description:

In our university, postgres is the db of choice. Our data base exams have a
postgres instance plus doc on a live usb stick. It would be a nice service
to the students if we could add searchable docs instead of just the static
html docs during the exams.

Is it possible to get an installable and searcheable doc version, such as
you provide on your website?