Realplayer video downloader extension