Description of problem: The properties pane on the top right of the config tool lists both the "URL" and "doc" properties which is redundant. What's annoying is that the URL field is clickable to open the doc, but the doc field isn't. If the URL field is going to be the sensible one pointing to the documentation, then the doc field should just go.
This bug has moved to http://bugs.ecos.sourceware.org/show_bug.cgi?id=90397