Google Pixel Mini pode ser lançado em breve - Canaltech