Uff... es ist vollbracht!
Theme mit allen Farben und Einstellungen exportiert - im drölfzigsten Versuch, unter neuem Namen.
Icons ausgetauscht (nur die Icons, nicht den Background, nicht die json-Datei)
settings.json geöffnet, kontrolliert, neuen Namen vergeben
Datei unter eben dem Namen gezippt
Datei importiert (wieso klappt dass denn plötzlich?)
Einstellungsdialog sagt: Richtiges Theme mit Iconpack von derzeit aktivem Thema. Und tatsächlich scheint jetzt alles korrekt zu sein.
Danke für die Unterstützung, gemeinsam geht's halt besser. 🙂