OK, I checked the .json in preferences and it was correct.
However, the board manager showed all the ESP8266 boards, obviously, as the verbose output from the compiler shows:
Arduino: 1.6.9 (Windows 7), Board: "Adafruit HUZZAH ESP8266, 80 MHz, 115200, 4M (3M SPIFFS)"
So I fumbled around, closed the Arduino IDE and restarted. I got:
Could not find boards.txt in C:\Users\Main User\AppData\Local\Arduino15\packages\esp8266\hardware\esp8266\2.2.0. Is it pre-1.5?
Could not find boards.txt in C:\Users\Main User\AppData\Local\Arduino15\packages\esp8266\hardware\esp8266\2.2.0. Is it pre-1.5?
Could not find boards.txt in C:\Users\Main User\AppData\Local\Arduino15\packages\esp8266\hardware\esp8266\2.2.0. Is it pre-1.5?
So I went into boards manager and deleted the ESP8266 boards (2.2.2 and 2.3.0).
All ESP references disappeared. I looked in the Arduino15/packages and found zips of 2.2.0 and 2.3.0 in the subfolder "staging". I used the install zip library option but it didn't work. So I installed ESP8266 version 1.0, and the ESP8266 libraries reappeared. Then I updated to version 2.3.0 and the boards manager showed version 2.3.0 as the current version.
I attempted to compile the program and still got:
Arduino: 1.6.9 (Windows 7), Board: "Adafruit HUZZAH ESP8266, 80 MHz, 115200, 4M (3M SPIFFS)"
C:\Program Files\Arduino\arduino-builder -dump-prefs -logger=machine -hardware "C:\Program Files\Arduino\hardware" -hardware "C:\Users\Main User\AppData\Local\Arduino15\packages" -hardware "C:\Users\Main User\Documents\Arduino\myprogs\hardware" -tools "C:\Program Files\Arduino\tools-builder" -tools "C:\Users\Main User\AppData\Local\Arduino15\packages" -built-in-libraries "C:\Program Files\Arduino\libraries" -libraries "C:\Users\Main User\Documents\Arduino\myprogs\libraries" -fqbn=esp8266:esp8266:huzzah:CpuFrequency=80,UploadSpeed=115200,FlashSize=4M3M -ide-version=10609 -build-path "C:\Users\MAINUS~1\AppData\Local\Temp\buildbd8cd7232fa3fa28ec64aa67052c1903.tmp" -warnings=default -prefs=build.warn_data_percentage=75 -verbose "C:\Users\Main User\Documents\Arduino\myprogs\newESPtempRead\newESPtempRead.ino"
Board huzzah (platform esp8266, package esp8266) is unknown
Error compiling for board Adafruit HUZZAH ESP8266.
Arduino: 1.6.9 (Windows 7), Board: "Adafruit HUZZAH ESP8266, 80 MHz, 115200, 4M (3M SPIFFS)"
C:\Program Files\Arduino\arduino-builder -dump-prefs -logger=machine -hardware "C:\Program Files\Arduino\hardware" -hardware "C:\Users\Main User\AppData\Local\Arduino15\packages" -hardware "C:\Users\Main User\Documents\Arduino\myprogs\hardware" -tools "C:\Program Files\Arduino\tools-builder" -tools "C:\Users\Main User\AppData\Local\Arduino15\packages" -built-in-libraries "C:\Program Files\Arduino\libraries" -libraries "C:\Users\Main User\Documents\Arduino\myprogs\libraries" -fqbn=esp8266:esp8266:huzzah:CpuFrequency=80,UploadSpeed=115200,FlashSize=4M3M -ide-version=10609 -build-path "C:\Users\MAINUS~1\AppData\Local\Temp\buildbd8cd7232fa3fa28ec64aa67052c1903.tmp" -warnings=default -prefs=build.warn_data_percentage=75 -verbose "C:\Users\Main User\Documents\Arduino\myprogs\newESPtempRead\newESPtempRead.ino"
Board huzzah (platform esp8266, package esp8266) is unknown
Error compiling for board Adafruit HUZZAH ESP8266.
Could not find boards.txt in C:\Users\Main User\AppData\Local\Arduino15\packages\esp8266\hardware\esp8266\2.2.0. Is it pre-1.5?
The library "2.3.0" cannot be used.
Library names must contain only basic letters and numbers.
(ASCII only and no spaces, and it cannot start with a number)
OK