- After reboot, I tried starting audio player (from the menu). It did not appear. - I then tried starting audio player again (exactly the same way). This time it appeared, and now plays .ogg files as advertised.
Still missing: 1. a way to open oggs from the player ... it annoyingly hides files with ogg extentions 2. it is not reading the IDv3 tags 3. ... and like you mentioned, there is no random jumping around within songs ... it treats the ogg file like it would a network stream
Hopefully you can put this up on garage so that others can add to your work if you don't have the time to.