@ohrn could Opera make life better by re-instating the different UA settings...why make it so difficult?