On Mon, 19 Sep 2022 16:35:40 +0200 mi <codejodler at gmx.ch> wrote: > is there a place where everything is documented ? Would you guess that that place is the manual? (I am reminded of an acronym, but it escapes me for the moment.) with regards Paul