I'm opera user probably since version 5. Although JS engine was terribly slow, I've loved v12. I miss a lot of things, but the one above is probably most irritating and for the first time I consider switching to FF!