chiark / gitweb /
helixish: remove obsolete intent comment