Starting in the 2000s, MP3 players caused a revolution in online music downloads and distribution (see MP3). All portable music players can read files encoded in MP3 and, quite often, other audio ...