Probably this should use real JavaScript that actually works; I don’t know. I’m no expert.
Dist files.