Interest in overhauling the IDE user interface?

Development Suggestions for the Arduino Project
28

The docs would be local still, but using HTML would give us very nice formatting.