[Greasemonkey] Is the pipermai/greasemonkey INDEX broken?

[Roderick McGuire]

I wanted to refer to
http://mozdev.org/pipermail/greasemonkey/2005-December/007120.html
However as much as I tried both internal searches and external google 
searches: (e.g.):

http://www.google.com/search?rls=org.mozilla%3Aen-US%3Aofficial&q=getselection+site%3Ahttp%3A%2F%2Fmozdev.org%2Fpipermail%2Fgreasemonkey&btnG=Search

Nothing turned up.

Has the index been turned off? And if so why?.