Am Sonntag, dem 12.05.2024 um 19:04 +0200 schrieb Jürgen Spitzmüller: > the documentation part manually later. Done now. I have pasted the new English paragraph in a note to those translated docs that already had the old version translated. -- Jürgen