Vergiss die Idee gleich wieder die Namen kommen so von den Providern. Das zu ändern macht keinen Sinn.
Leg dir Bouquets für die entsprechenden Provider an.

Ich würd sagen gar nicht.
Die Providerkennung wird mit gesendet, wenn da warum auch immer unterschiedliche Schreibweisen verwendet werden, dann gibt es halt auch doppelte Provider.
Du brauchst ja bloß mal nach zu schauen welche Sender bei welchem Provider angegeben wird, da wirst du die Unterschiede finden.
Es gibt auch Sender wo kein Provider angegeben ist, die findet man unter Unkown in der Providerliste.

Provider letztendlich eine zusätzliche Information. Ausschlaggebend immer die Sender. Wenn, dann in DBE der Provider eine "Hilfe", Boxhilfsmittel eher nicht.

Möglichkeiten zum Ändern gibts bestimmt noch weitere, nur macht es einfach keinen Sinn.

Nachteil Deiner Einstellung, wenn sich ein Sendernamen aendert, was letzthin oefters der Fall war, bleibt Dir der alte Sendernamen erhalten. Wird nicht mehr automatisch aktualisiert. Jeder entscheidet selbst was er tut. Mich interessieren nur die Sender & Sendernamen in den Favoriten & Bouquets. Und auch da (Sendernamen) habe ich nie was geändert.