HQPlayer 5 Embedded 5.15.2 released

Minor fixes and corrections. Documentation updates. HQPlayer OS updates, in particular for Raspberry Pi 5 8/16 GB models.