Ich habe es wieder umgedreht. Das Plugin ist wieder aktiv. Kanäle werden wieder gefunden, SD läuft. HD aber eben nicht.
Kann mir bitte jemand mal eine aktuell gültige channels.conf zukommen lassen, die definitiv funktioniert? Wenigstens Das Erste HD und ZDF HD. Vielleicht sind ja auch nur die falsch.