chiark / gitweb /
terminal: remove an unused initialization