Thanks for the tip. I had a look at the file, and decided to replace every instance of
"global":true
with
"global":false
That seems to have worked as well, and I would presume this approach lets any formerly global hotkeys remain operational within Opera.