On Tue, 16 May 2023 09:01:19 +0200 Paul Rolland <rol at witbe.net> wrote: > Yes, difference between the user's PoV and the developper's PoV It's not my point of view, it's simply a fact. with regards Paul