Doc: search symbols in the libgedit too