Re: What's NOV? Should gnus-nov-is-evil be set to t?

[Katsumi Yamaoka]

>>>>> Leo wrote:
> On 2007-09-13 11:15 +0100, Katsumi Yamaoka wrote:

>> If you have a nnml group, you can see its .overview file, that is just
>> NOV.  It's a common format that most news servers use when
>> communicating with clients.  It improves the performance.  So,
>> disabling it is not a good idea unless it malfunctions in the server.
>> See also `nnml-nov-is-evil' and `nntp-nov-is-evil'.

Oops.  I overlooked `nndiary-nov-is-evil', `nndir-nov-is-evil',
`nnfolder-nov-is-evil', `nnimap-nov-is-evil', `nnspool-nov-is-evil',
and `nnwarchive-nov-is-evil'.

> Do you think this should go to the manual?'

Isn't it enough?

(info "(gnus)Terminology")
,----
|"NOV"
|  When Gnus enters a group, it asks the back end for the headers of
|  all unread articles in the group.  Most servers support the News
|  OverView format, which is more compact and much faster to read and
|  parse than the normal HEAD format.
`----

I take time ten times as long as Japanese to write English. ;-)