Thanks for a great list of streams!

I did a similar thing (using `mplayer` though) for me, wrapping it in a script that takes shortcuts for stream names:

https://gist.github.com/EarlGray/d64514459892650881353a465c4...