Draw.io 3.0.0 settings contain duplicate elements for German translation

[arnowelzel]

When I open the settings for Draw.io in German informal ("Deutsch (Persönlich: Du)"), the control for "enable diagram previews" is doubled:

The original in English is OK:

Also French is OK, it seems, only the German version is affected:

[arnowelzel]

The bug is here - apps/drawio/l10n/de.js

    "Enable libraries?" : "Diagrammvorschau aktivieren?",
    "Enable diagram previews?" : "Diagrammvorschau aktivieren?",

This should be:

    "Enable libraries?" : "Bibliotheken aktivieren?",
    "Enable diagram previews?" : "Diagrammvorschau aktivieren?",

[arnowelzel]

Closing as completed.