I just use the browser’s download manager.