Re: Mutt-devel problem, maybe headers-cache