@Flisty @cstross @mort IIRC I just used Google, which is often rather better than sites' internal search features.