[Gretl-devel] searching the documentation

Hi, good morning and happy New Year to everybody! I think it would be nice to improve the documentation usage and have a kind of instant and unified help search interface with matches being displayed dynamically. What I mean is something like a help window where you start typing in a text field, and for example when you have entered "log" you would see already see a list of matches like: "logistic (command)", "logit (command)", "logs (command)", "log (function)", ..., "logistic (function)", "logit_burr (contrib function pkg)", "LOGIT_HETERO (contrib function pkg)". Perhaps including paragraph or section headings of the user guide might also be useful (optional?). That would seem quite helpful to me. cheers, sven