Das war der entscheidende Hinweis. Mit apt hatte ich es nicht bemerkt, aber über das Webfrontend (webif genannt) konnte man tatsächlich kodi (hatte ich installiert, kodi 18.9) und KOdi stable (19.4) installieren.
Mir war nicht klar, dass beide Versionen verfügbar waren und dass es offensichtlich einfach nicht von 18 auf 19 ein update gab.