To download, install VLC media player (I've used it for years - safe and very reliable). Click on 'Media' (upper left) and select 'Open Network Stream'. In the Network tab (should be open), paste the URL.
On the lower right, there's a dropdown that says 'Play'. Click the little arrow to open the dropdown, and select 'Convert'. Select Video - H.264 + MP3 (MP4). To select destination file, click 'Browse' and type a file name (ending in .mp4). Clock 'save', click 'start'.
If it *still* hasn't saved the conversion (as you can tell, I'm testing as I offer advice), open the playlist, right-click on the file name, select 'save' and give it an output file name. (This actually does work and has been tested. :))
Server run by the main developers of the project It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!