Ja in der guisettings.xml steht es korrekt:
<system>
<playlistspath>special://profile/playlists/</playlistspath>
</system>
Trotzdem verhält sich Kodi falsch. Aber egal, ich werde jetzt von einer sauberen Grundeinstellung ausgehen und die Settings so nach und nach kopieren. Die Aeon Nox 5 Einstellungen wären wichtig, auch die spezielle Einbindung des DVBViewers.
Die Setup-Routine von Kodi hat selbst angeboten, die Einstellungen zu migrieren. Da habe ich natürlich gedacht, dass das nicht nur ein einfaches verschieben ist, sondern auch ein korrigieren von Pfaden innerhalb wichtiger Configfiles (oder auch das Löschen von Caches etc.).
Danke für Deine Anregungen.