You can download files also on Linux or Mac by copying the two links (audio and video) separately on a new browser window and saving them (File->Save page as...). If the audio link doesn't have an extension, use .ogg. Then, you can merge the two files using Avidemux or ffmpeg. If you want to watch them on a player not supporting the webm format, while merging the files you need to convert them too. Ogg Vorbis files can be easily converted in ac3 without losses and HQ videos can be converted in h264 or h265 (=HEVC). The container should be .mp4 or .mkv. Not as easy as downloading all together, but easier to do than to explain ;-)
--------------------------------------------
Si possono scaricare file anche su linux e mac, quindi senza aver installato l'app apposita: basta copiare e incollare i link dei contenuti (audio e video) in due nuove finestre/schede e salvarli separatamente (File->Salva pagina con nome...). Per l'audio potrebbe essere necessario aggiungere l'estensione. In tal caso, usare .ogg. Dopo di che, i due file andranno uniti tramite un programma apposito (Avidemux o ffmpeg) e, se volete vederli su un dispositivo che non supporta il formato webm, anche convertiti. Il formato Ogg Vorbis può essere convertito in ac3 senza perdite e il video, se è ad alta qualità, dovrebbe essere convertito in h264 o h265 (=HEVC). Il file di destinazione potrebbe essere un mp4 o un mkv. Non facile come scaricare il file tutto intero, ma più facile a farsi che a dirsi.