Det är inte första gången som nördarna på nätet, när de gräver in i källkoden för MIUI, går tillbaka till förväntningarna på vad i ...