зачем использовать на андроиде opera mini? Существует же opera mobile, в ней есть opera turbo, которая тоже сжимает трафик, но при этом в opera mobile есть много других плюшек.
Почему всё-таки люди ставят opera mini? В чём её преимущества перед opera mobile?