Ich würde Videofans auch MediathekView empfehlen. Das funktioniert auch unter Linux und man kann Filme oder Dokus auch speichern um sie sich später anzusehen. Von der komfortabelen Suchfunktion mal ganz abgesehen...