-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Thanks very much, Jeff, for helping to resolve this issue.
Next question: Now that archiving is back on, would it be useful for me
(or, perhaps the dotsrc staff) to provide the missing mails, so as to
make the archive complete again?
Jeff
Ok, that one got away from me. Let's try this again.
I've enabled an experimental full site search. It's definitely not
ready for prime time; too slow and we aren't going to update the index
regularly. And it might go away at any time. But if you want to play
around, have fun. We don't really