Support for more boards on the Web editor.

Ask Espreiff about Arduino web IDE support for the ESP8266.