Opera 9 has already seen a significant uptake of users, with 700,000 downloads on the first day of release. Overall, Opera 9, including the mobile Mini version, has seen roughly 25 million downloads since its release in June, the company said.
Sure, those numbers are miniscule in a lot of ways. And then, OTOH, 25 million of pretty much anything can't be peanuts.