Hi all, as asked by Abdel, I've just merged my patch with trunk (revision 20067) and uploaded it as attachment 2129 to bug 3998.
If anyone wants to try it, the patch includes a brief tutorial in lib/doc/FindAdv.lyx. For now, it is kind of a hack/prototype that almost works (if you backward search, and the match is at the very beginning of the doc, there is a segfault; probably there are others) and shows how it might work. Making it efficient and usable on large documents is another story.... Any comments are of course welcome. Bye, T.