oue mais c'est pareil sur le principe

je vois vraiment pas ce qu'on peut trouver de lourd a l'interface d'opera
pour les dev tools je viens d'y jeter un coup d'oeil rapide a priori c'est un plugin code en javascript donc c'est pas etonnant que ca soit pas tip top