This is your work, valued
gnome-shell-extension-radio. Gnome shell extension for listening to internet radio streams
