Archiv-Wechsel mit Migrations-Option

Bei gesetztem Archiv-Home fragt ein Dialog nach: Dokumente ins neue
Archiv verschieben (Checkbox, standardmäßig aus — nichts wandert
implizit) oder liegen lassen. change_archive_home_cmd setzt das neue
Home, zieht auf Wunsch die Einträge um (gleiche Platte rename, sonst
Kopie + Löschen; Kollision im Ziel bricht laut ab) und nimmt die Rechte
des alten Ordners zurück.

src/i18n.ts

@@ -93,6 +93,12 @@ const de = {
     artWorkDir: "Arbeitsordner {path}",
     todo: "Todoliste",
     todoDesc: "OFFENE-PUNKTE.md bei jedem Sessionstart einspielen",
+    archiveChangeTitle: "Archiv wechseln",
+    archiveChangeText: "Das Archiv wechselt von {old} nach {neu}.",
+    archiveMigrate: "Dokumente ins neue Archiv verschieben",
+    archiveMigrateHint:
+      "Ohne Haken bleibt das bisherige Archiv unverändert liegen; die App verweist künftig nur noch auf das neue.",
+    archiveChangeConfirm: "Wechseln",
     groupAppearance: "Darstellung",
     groupFolders: "Ordner",
     groupSession: "Session",
@@ -236,6 +242,12 @@ const en: typeof de = {
     artWorkDir: "working folder {path}",
     todo: "Todo list",
     todoDesc: "Inject OFFENE-PUNKTE.md at every session start",
+    archiveChangeTitle: "Change archive",
+    archiveChangeText: "The archive changes from {old} to {neu}.",
+    archiveMigrate: "Move documents to the new archive",
+    archiveMigrateHint:
+      "Unchecked, the previous archive stays untouched; the app just points to the new one.",
+    archiveChangeConfirm: "Change",
     groupAppearance: "Appearance",
     groupFolders: "Folders",
     groupSession: "Session",