Lars Magne Ingebrigtsen <larsi@gnus.org> writes:

> Florian Ragwitz <rafl@debian.org> writes:
>
>> If I made such a patch, which I'll be happy to do, will you be allowed
>> to apply it?
>
> Yes.  :-)

Here it is.