Am Freitag, dem 03.03.2023 um 13:57 +0100 schrieb Pavel Sanda: > I do not have that strong opinion about any of the above, just > checking whether anyone tried to make consistent selection or we just > follow the historic (and arbitrary) distinctions More or less. Just the UI changed, not so much the traditional categorization. -- Jürgen