I can use site search on Google if I really need to find something.
Generally it works almost as well, so no worries.
Thanks for all the hard work you put into this site. It is a real treat to be part of such a great community.