Официально: Redmi Note 10S выходит 13 мая в Индии [обновлено]