Thanks. While no documentation, the source code can be found here (for future users): https://github.com/operasoftware/browserjs/blob/master/OPRdesktop/browserjs-25.0.js
I don't see how it relates to my video replacement problem, but at least now I know it isn't the browser script.