Le lundi 07 septembre 2020 à 23:19 +0200, divoplade a écrit :
> Sorry, I don't know how to make a patch.

Trying: does it work like that?