OneNote、PCで編集したやつが同期されるタイミングが分からん。そのまま閉じてスマホで開いたら同期されていないことが多すぎる。