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: http

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/d64514459892650881353a465c4b9a05 https://gist.github.com/EarlGray/d64514459892650881353a465c4...