すでに持っていた Windows 10 Home のマシンを、仕事用マシンとして使うにあたり、Home ではなく Pro のほうが都合が良いということでアップグレードしました。
が、これがなかなか一筋縄ではいかないのです。ハマった点を列挙しておきます：
1. Microsoft ストアでエラーとなる
Windows 10 の設定のところで、アップグレードのパスとして、Microsoft ストアへのリンクがあります。これをクリックすると、Pro のアップグレードを購入するページになるはずが、エラーになります。同様のトピックが、たとえばこちらの記事にも書かれていました：
当方でも実行した解決策は
言語設定を英語に変更する
です。日本語設定じゃ買わせてもらえないのか。
2. インストール中にエラーになる
アップグレードのインストール中に、なにかエラーになってしまいました。
かといって何かできる感じでもなかったので、とりあえず再起動してみると、更新はインストールされていました。こういうの、不安ですよね。そもそもちゃんと起動するのか？とかね。
幸い、起動はできました。
3. ライセンス認証がされていない
じゃあ Pro が入っているはずだから、チェックしてみよう、とシステム状態を見てみると、Home でもなく Pro でもなく Enterprise になっていました。
しかも、ライセンス認証に失敗しています。なんですかこれは？
ググってみると、先人の知恵がありました：
私の解決策も、
Pro に対応したデフォルトキーを入れる
でした。
まとめ
まあ、やる前から、何か起こるんだろうなあ、と推測していましたが、やっぱり色々ありますね。
ちなみに Pro へのアップグレードは 1.3万円くらいです。
こちらがお金出して買う場面でも、こちらが色々と試行錯誤しないと買えないという感じです。幸いなのは、ユーザーが多くおかげで、同じ事象に遭遇した先人がおそらく必ずいるということで、その先人（=人柱）の皆さんのお知恵を拝借するというかたちで、なんとか出来ているのですね。
というわけで、今後も同じようなことでドハマリする人々むけに、上記のような有用なリンクをまとめておいた次第です。
