Web browsers that work with realplayer video downloader