<https://t17.techbang.com/topics/56729-miui-12-a-new-personalized-and-flexible-operating-system#>
<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>
<https://t17.techbang.com/topics/56729-miui-12-a-new-personalized-and-flexible-operating-system>