// Turn the specified div into a place where we can upload. (Note: permanently changes the drag-and-drop behavior of that div.)
function activate_uploads(parent_div) {
document.getElementById(parent_div).innerHTML += `
// Turn the specified div into a place where we can upload. (Note: permanently changes the drag-and-drop behavior of that div.)
function activate_uploads(parent_div) {
document.getElementById(parent_div).innerHTML += `