I’ve installed the ‘htdig’ search engine here now, and the search box on the right will use that instead of Google. The Google link worked well, but sometimes wouldn’t index Status-Q often enough, and would discard bits from time to time. I realised that I was having trouble searching for things and I’m supposed to know roughly what’s in here. I think the new one’s a big improvement.
March 12th, 2002