Re: Fetching headers takes long?

[Steinar Bang <sb@metis.no>]

>>>>> Simon Josefsson <jas@pdc.kth.se>:

> Kai.Grossjohann@CS.Uni-Dortmund.DE writes:
>> I recently converted from nnml to nnimap and I now see that fetching
>> headers for a group takes quite some time, even if I do `2 2 =',
>> say.

> Header fetching does take some time. Gnus was designed around NNTP
> (NOV) headers, and nnimap need to convert it's data into that format
> which take some time.

Formatted NOV files?  Or a lisp representation of the information of
the NOV files?