[tin 1.9.5] documentation? missmatch quick_kill_header vs. default_filter_kill_header

Urs Janßen <[email protected]> Fri, 27 Aug 2010 16:05:56 +0200
Newsgroups gmane.network.tin.devel
Message-ID <[email protected]>
tin(5) says:
|      quick_kill_header
|           Identical   to   the    tinrc    variable default_fil-
|           ter_kill_header

tinrc and tin(1) says:
|# header=NUM  0,1=Subject: 2,3=From: 4=Message-ID: & full References: line
|#             5=Message-ID: & last References: entry only
|#             6=Message-ID: entry only 7=Lines:

attributes says:
|#    0=subj (case sensitive) 1=subj (ignore case)
|#    2=from (case sensitive) 3=from (ignore case)
|#    4=msgid 5=lines

lines filter is 7 not 5 and where are the filter types 5 and 6 in attributes?

I guess this is just a documentation issue but didn't verify that.