chiark / gitweb /
terminal: drop redundant assertion