Hi,

On Mon, 03 Feb 2025 at 17:41, Nicolas Graves <ngra...@ngraves.fr> wrote:

> What difference do you make between both? This is indeed an extension ;)

Ah cool!  I’ve overlooked. :-)

Cheers,
simon

Reply via email to