There is an alternative, http://www.google.com/search?q=site%3A ... +Dollyrots I hope they've crawled the whole site by now.
Yeah, I'm not happy with the search situation either. Bugging #orain now.
Edit: Nope, they haven't indexed everything. But they do have a decent number of pages, unlike Bing which only has 3 random pages. PROTIP: Google searching a URL seems to force Google to index the page in question.
From some reading, I get the feeling that Mediawiki search, once it doesn't find a title, does something akin to SELECT pagename FROM allpages WHERE content LIKE "%$searchterm%";, which would explain the slowness. This problem definitely needs to be addressed with some add-on. If nothing else, I'm considering the Google Search extension (which doesn't require the AdSense censorship regime but will have ads :'( ) unless our admins come up with something better.
-- ∇×V
Yeah, I'm not happy with the search situation either. Bugging #orain now.
Edit: Nope, they haven't indexed everything. But they do have a decent number of pages, unlike Bing which only has 3 random pages. PROTIP: Google searching a URL seems to force Google to index the page in question.
From some reading, I get the feeling that Mediawiki search, once it doesn't find a title, does something akin to SELECT pagename FROM allpages WHERE content LIKE "%$searchterm%";, which would explain the slowness. This problem definitely needs to be addressed with some add-on. If nothing else, I'm considering the Google Search extension (which doesn't require the AdSense censorship regime but will have ads :'( ) unless our admins come up with something better.
-- ∇×V