I added some of those streams to my Kodi setup as follows:
In the terminal: - created a "streams" folder [rest of instructions omitted]
Thank you for that. I have had a further play around with my Vero box, and was able to install some addons to play clips from NASA and ESA TV, though the one for the Prague tram cam livestream didn’t seem to work.
I didn’t see any obvious function through the remote+GUI to add these streaming links, which seems a curious omission ... even a standard addon to manage such links would be a pretty obvious function to provide, wouldn’t you think?
Anyway, will continue to experiment with things.
I've come across the following blog post on adding m3u playlists: https://www.neuralword.com/en/article/how-to-add-an-m3u-playlist-to-kodi-ste... It makes use of the "IPTV Simple Client". NB: Haven't tried that yet. Cheers, Peter