Lars Magne Ingebrigtsen writes: Hi Lars, > Christopher Schmidt writes: > >> Is this one OK? > > Looks good to me. Could you also submit the changes to the gnus.texi > file?