The website now has a search box again, after many years. The whole site is indexed nightly including the content of all the mailing lists. Dirk G1TLH