Support for more boards on the Web editor.

Right. Thus the interest in web-based editors. Though I might be confusing the "web editor" with "chromeduino" or something...