An AJAX based PHP manuals search application meant to be run locally.