Wie kann man KODI auf LibreELEC 9.0.x updaten?

Die Frage tönt eigentlich banal, aber mein Kodi v8.2.5 («Krypton», läuft auf einem Raspberry Pi) will einfach nicht automatisch auf die kürzlich erschienene Version v9.0.1 («Leia») updaten. Obwohl die entsprechende System-Einstellung “Automatische Aktualisierungen” auf “auto” steht, wird keine neuere Version gefunden. Lösung: Die Einstellung “Automatische Aktualisierungen” auf “manual” umstellen, dann erscheinen zusätzliche Untereinträge. Unter “Update-Kanal” … Weiterlesen