@vegelund
I'm the one who posted the "History deletion" complaint several months ago. I was told that it is fixed in Opera 100+... except it isn't. You still have to manually clean up your (bloated) History to remove that lag. This is clearly a coding issue, no doubt there (it strictly depends on the size of the History file alone, which is extremely visible via testing), but somehow nobody cares to even try investigating it, let alone actually fixing it. Nice support we have here, don't we? I mean, it's not like we have people complaining about the genius decision to "update" the general "theme" as well, no?
