As of today, MP3 decoding software is permissible in Fedora.