What do you guys think of a web-based Arduino IDE?

well, how about this, you create files with a different extension for example like .WEX
in linux and windows or mac, associate a small program with the WEX extension that is able to upload this file to the com port you need.

Maybe it would be nice if the wex file also contained the original typed program
then start the code after a /* CODE START (date) mark and end it with CODE END */
That way it could also be associated with the regular editor also (who would just ignore the marked comment that contains the code