Operaでユーザ・エージェントの偽装

某WebアプリでWYSWYGエディターが使えないので、ユーザ・エージェントを偽装する(Opera)。