Markus: really great work you've done. I made a special page only with your indexes!
I use it as a fast search facility as well (with ctrl F): it finds the links very fast and exact.
In my case it would be therefor very convenient if the indexes would always be open. No need for the [+]. Now I have to explain that for searching they have to open with the [+] first, beginning with the last (the indexes are very long...). Is there a way this can be done? Rein
mediawiki-l@lists.wikimedia.org