Windows8.1のサポートが2023年1月10日で切れるので、その前にWindows10にアップグレードした。
Microsoftのアップグレートツールをダウンロード（https://www.microsoft.com/ja-jp/software-download/windows10）して実行したところ、「お使いのPCに現在インストールされているWindowsバージョンの言語またはエディションは、このツールでサポートされていません。」と表示されて、バージョンアップに失敗した。
もともと、Windows8.1 Homeが実行されており、Proにするためのライセンスキーを使っていると、Microsoftのサイト（https://www.microsoft.com/ja-jp/software-download/windows10）のツールではアップグレードできない模様。そのため、次の手順で、バージョンアップを行った。
１．PCを初期化して、Windows8.1 Homeにする。
２．Microsoftのサイト（https://www.microsoft.com/ja-jp/software-download/windows10）でツールをダウンロードして実行。
３．ツールを使って、Windows8.1 Homeから、Windows10 Homeにアップグレード。
４．Windows8用のProにするライセンスキーを、アップグレードしたWindows10 Homeに入力する。
５．Windows 10 Proになった。
もとがWindows8なので、ライセンスキーはそのまま使えた模様。エラーにならなかったので、たぶん大丈夫。