Gucke mal unter Erweiterungen und drücke die grüne Taste. Hier findest du mit der grünen Taste alle Plugins, welche du installieren kannst. Unter dem Ordner extension findest dann auch Mediatheken.

Um welche Mediatheken geht es denn?
Unter Erweiterungen, auf dem Feed findest du ARD, ZDF und den e2iplayer.
Dort gibt es auch Youtube als Plugin.

MediaPortal kannst du inzwischen komplett vergessen.
Vieles läuft nicht mehr und unter py3 sowieso nicht.

Habe das Thema von Edision OS Mio 4K nach Edision OS Mini verschoben.