Update screenshots/documentation in user guide #642
Description
While working on #640, I noticed that the interactive help is grossly outdated and needs to be updated. The screenshots are also really old, probably done with the Eclipse 3, perhaps even before that and occasionally show features that are no longer supported (e.g. GWT).
Someone has to take on the dreadful task of going through the HTML code to delete (or update) our documentation and ideally also take new screenshots. Perhaps something to consider for the next code freeze...