Am Mittwoch, dem 30.08.2023 um 15:29 +0200 schrieb Jürgen Spitzmüller: > > + if you could do me a favor and commit > > the few bits for UI tooltip and paragraph for users manual. > > Riki might by re-releasing soon and I'm not on my usual computer to > > push it. > > and this in a second step. All in. -- Jürgen