Dear all, does someone of the reading developer's knows the admin's of this list? Can you please forward my request on "periodically updating the search index"? It would really help anyone. As I'm new at this list, I didn't got mails last year. (And somehow I didn't receive mail-digists anymore.) Thank you in advance. Matthias Keller