mupi wrote
My solution, which gets around both the problems of RealPlayer (and even when "all you do" is use it to download videos, it still wants to install advertising.
No, I agreee. Don't download RealPlayer just to download videos. I use a Plugin for Firefox called Video DownloadHelper, which adds a toolbar button to download the video. Find it here: https://addons.mozilla.org/en-US/firefox/addon/3006