Update documentation to also include Opera.

Chrome extensions work with Opera now apparently!  That was a freebie.