Are you going to allow support for the esp8266 the web ide? i already know it works with the arduino 1.8.5
These any many more boards are on a lot of peoples wish lists.
However unlike those that are already supported Arduino does not manufacture then or have unfettered access to the source / core libs.
Until that happens it is unlikely that you will see them added.
A better option to ask for is a feature request for the ability to add your own boards to the web editor but even that might be a while away.
Adding features for a "web" based IDE poses its own quite unique sets of problems.