I use an audio player that is almost ten years old with Rockbox, and there is no noticeable difference in performance between decoding an MP3 and an Ogg Vorbis file.
Vorbis is very good, but managing the audio library, transcoding and transferring to the player are tedious and seem stuck in the 2000s.
Many of us have a large library of MP3s. The gain in quality and space from switching from MP3 V0 to Vorbis Q5 is negligible and does not justify the effort if you are not transcoding from FLAC.
Well, you definitely won't gain any quality if you're transcoding from a lossy format. You also wouldn't notice the difference in performance, but you might notice it in battery life.
If you're transcoding from FLAC, I think your best bet nowadays is just Opus, really.
The idea is rather that someone with a large FLAC library, who has already transcoded some of it to MP3 for listening on a portable player, has little interest in transcoding their FLAC files to Vorbis again.
The battery life of an MP3 player, even with a ten-year-old battery, is still more than ten hours of continuous playback regardless of the format, which is more than enough.
The real limiting factor is the maximum size supported by microSD cards. If the player wasn't limited to 64GB, I wouldn't even bother transcoding.