On Tue, 20 Sep 2022 08:45:13 +0200 Johan Vromans <jvromans at squirrel.nl> wrote: > it is clearly a caching issue Thanks, Johan, for sending examples off-list. This has now been fixed in git. with regards Paul