Opera's target audience consists mostly of geeks, anyway. Downloading and installing a separate app would not have been a problem for these people.