Opera Mini dostáva krajšie používateľské prostredie: Prehliadač obdržal najväčšiu aktualizáciu za posledné mesiace