On Mon, May 06, 2019 at 09:43:55PM +0200, Ludovic Courtès wrote: >> I agree. I’ll commit the patch below, which works fine for German (at > least before the “Hide” checkbox patch). > > Thanks, > Ludo’. > Fits perfectly. Thank you all of you! Regards, Florian