chiark / gitweb /
remove duplicate trout (spotted by rjk)