F13割当はいいけど、IMEの全角半角オンの設定は汎用性低いなぁ
ATOKとかgoogleとかほかのIMEでつかえない。

Pocket1の時と同じで、AutoHotKeyをつかって
F13押下で全角半角キー送りつけるようにしとくと、全部のアプリでそうなるから楽やで。