基本

全てはここ(と記載されているリンク先) https://github.com/katsuya-san/ESP8266-THETA-S-SimpleRemoteControler にかかれています。
@katsuya-san さん、その他の方々、ありがとうございます。

それでも引っかかったこと

まず、「開発ボードの追加」で「ツール」 → 「ボード」→「Boards Manager」を1回め開いても、ESP8266は出てこず、一度閉じて、2回目開くことでESP8266が表示された。これは2台のPCで同じ現象が出た。

あとで。

Stringからchar *へのコンパイルエラーが発生したので、WiFi.SSIDをString型の変数に格納し、String.toCharArray(変数)で変換。

最初、Generic ESP8266 Moduleにしたが、書き込みエラーとなったので、Node MCU 0.9(ESP-12 Module)を選択することで書き込み完了。

デフォルトのソースだと、SSIDから切り出しているようなので、それを修正する。