chiark / gitweb /
need gnu sed these days