chiark / gitweb /
found old non-after-fstatting version lying about, for historical interest only