chiark / gitweb /
Remove historical relic.