JS hack to get audio players to show up

/* By default, the share shows a "Download file" button instead of the audio player;
 * this replaces all the buttons with audio elements. */
document.querySelectorAll("button[onclick]").forEach((b) => {
    var audioel = document.createElement("audio");
    audioel.controls = true;
    audioel.src = b.attributes["onclick"].value.slice(15, -1);
    audioel.setAttribute("style", "display: block; margin: 0 auto;");
    b.replaceWith(audioel);
})