An Anonymous Coward writes:
MP3 decoding was already free and got recently included in Fedora. But now, encoding is also free according to Fraunhofer Institute for Integrated Circuits IIS: "On April 23, 2017, Technicolor's mp3 licensing program for certain mp3 related patents and software of Technicolor and Fraunhofer IIS has been terminated." The Wikipedia MP3 article confirms that.
So, do you still use an MP3 library or have you switched to another format or means of listening to music such as (spying built-in) streaming services?
Very much second RockBox if you have an old MP3 player around that you still use. I have a couple of SanDisk players around that I use for exercising, etc, and RockBox not only adds support for more formats, better EQ options, ReplayGain, etc, but also reduces the startup time with a large from minutes to pretty much instantaneous. I think it's very cool that SanDisk also plays nice with RockBox. Of course, pretty much everyone uses smartphones now, but there are still spots where it's handy to have one of these tiny players.