В чем разница между Opera Mini и Opera mobile?

Какие функции у Opera Mobile есть у Opera Mini? Есть ли другие различия, такие как

opera-mini opera-mobile