Google and other search engines index several directories of my server, but nothing about the mediawiki. I use the same robots.txt as wikipedias. What should I do to get google also indexing my mediawiki installation?? Thanks a lot.