It's now the seventh day in a row that Search on developer.mozilla.org is horked. And since I came back seven days ago from my summer vacation, it could be even older than that... So to search on devmo, I now have to ask Google for "MDC %s" where %s is my query and the results are not always optimal :-( Urgh.