ふむ。俺のRedmi5Plusのロムは公式は公式なんたが削除されたもので今は非公式になったものらしい。
めんどくさいがもうちょっと様子見だな。