ちなみに、BSジャパン.prgを削除したあとは、
チャンネルエディターでBSジャパンが地上波に勝手になるので、
チャンネルエディターでBSに再設定が必要だった。