Wie kann man bei Android-TV (z.B. beim SONY X92J) die Programmnummern ändern, also nicht nur die Programmplätze, z.B.

1. ARD

2. ZDF

3. WDR

4. Arte

...

sodass ich die Programme mit den Zahlen anspringen kann?