Why not add a search field in the html documentation.
On a server there's at least 1 search script, that searches from all files for words. You only need to add a few lines to the html doc.
Search would be quite useful. Sorry, I have no idea what the original reporter was talking about in regard to adding a few lines. Although IIRC you can use the API to create a custom Google search, which might or might not work...
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
Logged In: YES
user_id=195958
Originator: NO
Specifically, which lines of html would you recommend adding?
+1
Search would be quite useful. Sorry, I have no idea what the original reporter was talking about in regard to adding a few lines. Although IIRC you can use the API to create a custom Google search, which might or might not work...