Один из руководителей компании Xiaomi Лю Вейбинг спросил у своих подписчиков в Weibo, какое неофициальное название стоит дать еще не представленному официально смартфону Redmi K40. Выбирать нужно из «Великого короля», «Настоящего флагмана», «Большого дьявола» или «Великого короля демонов».