/**
 * Sets release id and submit download form.
 */
function do_download(r) {
    var f = $('form-download');
    f.rid.value = r;
    f.submit();
}