[katsura]

Based on some stats they are at more or less the same level as Firefox[0]. Obviously, you can't trust these 100%.

[0] https://gs.statcounter.com/browser-market-share

[notatoad]

if you limit it to desktop browsers, opera is 3% to firefox's 6%. i suspect the mobile stats include opera mini, which is not really the same thing.