What are the differences between miuiandroid and miuiscotland? I read somewhere that scotland has better performance, is it true?