I hope Nexus 4 is included in the first batch of non-xiaomi phones that will get MiUI v5 on late March/early April. Nexus 4 was released with stock 4.2, so I think the base for Nexus 4 will be Android 4.2? Or it will be delayed until MiUI moves to JB 4.2 (i hope not)?