he is refering to play(1) command in 9front which does
recognize the following audio formats:

mp3, ogg, wav, flac, au

it understands pls and m3u playlist formats.

it can also play a mp3 stream url using hget.

its just an rc script that runs file(1) to guess
the format and then runs a matching audio(1) decoder.

--
cinap