function append()

in js/downloads.js [25:27]


function append(el, contents) {
  el.innerHTML += contents;
}