OK, curiosity got the better of me!
I can now play internet radio from within Logitech Media Server to my NDS but initially found that my devices did not show up.
This was resolved by checking this box in the plugin settings and restarting.
Once I had done this then the players showed up thus so.
