chiark / gitweb /
Restart with different structure and rather more formal objectives.