We should and then add small "Help" buttons (or perhaps just a "?") to dialogs and frames.
When the user presses a "Help" button, the corresponding section of the user documentation is loaded, either in the DrJava help browser or in a web browser.
