an opera extension