Was mit Bezug zu Box und Play ja beinahe Sinn ergibt… *duck&hide 
Öhm, mir fiel gerade auf, in der Verwaltung der Senderlisten werden die 4k-Sender nicht aufgeführt. Die Listen sind korrekt, aber die drei Sender fehlen, die Sendernummerierung ignoriert das dann in der App. Es werden einfach die auf die 4k Sender folgenden Sender auf deren Position gesetzt. Somit ist die Senderverwaltung via App gerade mässig sinnvoll.
EDIT sagt…
Auch im EPG der App fehlen die drei 4k Sender.