Thank you. I must have looked at that page (...manual-desktop/browser_ext_install.html#chrome-based-browsers) a half dozen times. Since Opera isn't one of the headings, I assumed the extension hadn't been released. This time I found it under Chrome Based Browsers.
Thanks for your help Anshu.