Add documentation for compressed OTA, fix bug#6924
Merged
earlephilhower merged 3 commits intoesp8266:masterfrom Dec 20, 2019 
Merged
Add documentation for compressed OTA, fix bug#6924earlephilhower merged 3 commits intoesp8266:masterfrom 
earlephilhower merged 3 commits intoesp8266:masterfrom