Tonton <tonton@riseup.net> writes:

> Hah, yes, you are completely right!
>
> I thought I did a search for it, lucky it was such an easy package to
> define
>
>   :)
>
> So how do I close this bug?

Just send an email to 31477-close@debbugs.gnu.org.