Acknowledge that we copied the IDL files from dom.js