chiark / gitweb /
Remove some more obsolete Huxley stuff