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.