Android10にしてしまった。

>>55 ひまるさん

ご確認ありがとうございました。

国内キャリア販売の端末だから、そこの設定は最初から出ないようになっているかも、とも思いつつ、ダメ元でお聞きしてみた次第です。お手数をおかけしてすみませんでした。