Genau so sehe ich das auch - ich will ja eben nicht für jeden Sendernamen und jede Ziffer einen eigenen Schalter in Homekit - das würde ja jeglichen Rahmen sprengen...
Auch mit diesen Plugins wird es aber in naher Zukunft vermutlich nicht möglich sein, via Siri einen TV-Sender zu wählen, wie das beim Harmony-Skill für Alexa geht - wie z.B. „Schalte Pro7 ein mit Harmony“, oder? Mir würde es ja auch reichen, die Sendernummer zu nennen...
Das ist so ziemlich der einzige Grund, warum ich neben dem HomePod noch den Amazon Echo hier stehen habe.