No, it really is Mini.
Mini basically comes in two flavor. One that you download, for example from Google Play or opera.com. The other is the mobile operator branded version, that usually comes pre-installed. Opera want to shift the user-balance toward the latter with many contracts across the globe (operator branded Mini, usually with some kind of cheap net packages, Opera’s news channel is full of these announcements) because obviously it pays more. Currently the vast majority got his Mini directly, but as these numbers suggest, Opera is quite successful in transforming them to be users of a mobile operator branded Mini.