無料の文章校正ツール「Microsoft エディター」が10月31日に廃止、Edge/Chrome向け／「Microsoft Edge」組み込みの校正ツールに統合へ