Opera actualiza o seu Opera Mini para Android para a versão 13 traz um novo gerenciador de download para que você possa agora controlar o número de arquivos