Le 27/10/2021 à 00:00, Yuriy Skalko a écrit : >> Sounds reasonable to me. >> >> Riki > > Thanks Riki. So I've committed the patch after updating the docs about > this change. Good. FWIW, I began writing a patch to allow using HTML in buttons, but it is complicated and sounds overkill to me. JMarc