I also owned one but I had to look for it. It certainly wasn’t “widely supported.”

Have a look at audio hardware from 10-15 ago (so long after the mp3 player wave ended in first world countries) but basically everything that plays mp3 plays ogg vorbis as well.