chiark / gitweb /
Abortive stuff to avoid repeated from norecord