Might we need some parts from `/js/download.js` still maybe?