The archive now contains more than 97000 posts! Many thanks to all those who've helped me with it.
You may use regexps and other cool stuff in the search fields.
If you don't know what a regexp is, don't worry, just use *
for
"some unspecified characters".
(Er, the regexp support is currently very limited. I'm trying to work out how - and if - I can allow almost arbitrary regexps securely. It would be nice if I could, but moving to a proper database will get rid of this problem anyway.)