// audio URL rewriting for download managers (IDM / 迅雷 / FDM …) — see shared/media.js for the why. // // The game plays audio with fetch() + Web Audio (`audio.js`): it never uses