Dezember-Release von Raspberry Pi OS bringt bessere Multimedia-Wiedergabe