Could the IETF "Mailman" e-mail archive really use some sort of search tool, or does it already exist and I just can't find it?