chiark / gitweb /
more systematic elimination of feedback from the gui