Opera mini 5 oder opera mobile 10

Welcher browser ist besser geeignet für das HTC HD Mini? Opera mini 5 oder opera mobile 10? Oder gibt es eine update funktion im bestehenden browser?

Gruß