Jim Idle wrote: > In the very middle of the front page, there is a big text input box > marked 'search'. It uses site specific goggle searches. Indeed I had missed that one: I was looking for a search box on the page describing the mailing lists. Thanks, -- O.L.