MIUI English translation optimisations (I was retired!)