Opera CTO: How to fix Microsoft's browser issues