On Tue, 2024-05-21 at 18:04 +0100, José Matos wrote: > This is fixed in 2.4. > Since there will not be any new 2.3.x release I think that we can > leave it that way. OK, Rikki fixed this. :-) -- José Abílio