Am Donnerstag, dem 19.09.2024 um 16:16 +0200 schrieb Jean-Marc Lasgouttes: > What I have in mind as a simpler alternative is this (like the last > patch, with vector instead of map). Seems to make sense. I have no time to look closer now, unfortunately. -- Jürgen