[untitled]
March 12th, 2002I’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.