Well, it's not specific to Opera. I download the web page and stripped out all the javascript, and then it happened in every web browser. So it's an archive dot org quirk, not an Opera quirk:
https://sealevel.info/Archive_dot_org_quirk_avascript-disabled2.html
Sorry for the false alarm!