Lars Magne Ingebrigtsen <larsi at gnus.org> writes: > I really like using all the lines in my buffers, so here's a patch to > allow people to switch the header line off: Thanks, applied.