chiark / gitweb /
terminal: fix TERM_FLAG_* comment