In meinem Receiver ist der Dokukanal auch noch als separates Angebot geführt. Ich war halt einfach bisher zu bequem, die ganzen alten Sender auszusortieren. Hab eh eine eigene Favoritenliste, die ich nutze, da interessiert mich das Gesamtangebot im Gerät nicht.
Unser nächste Receiver wird über Netzwerk erreichbar sein, da ist dann das Editieren der Listen einfacher. Aber bei der Vielfalt von Sendern und Stationen wechseln die Programme ja schneller wie andere ihre Unterwäsche.