3 ms·

I'd generally agree. But my impression is that Opera had small enough market share that people overwhelmingly ignored it anyways.