chiark / gitweb /
merge into history old stuff found on chiark