MIUI13 フォントはいつもの方の新型か、別の方が作ったMiSans（Webview）だけ置き換えるモジュールで解決したけど、
Novaランチャー&FNGジェスチャーでナビボタン消しが効かなくなった。ボタンがくっっそ邪魔。