On Tue, 2022-06-28 at 10:30 +0200, Pavel Sanda wrote: > It's in. P Thank you. :-) I would do it myself but I am still fighting with git ssh access... -- José Abílio