- Documentation fix: updated context-sensitive help to match menu item changes. Fixes critical bug #3453. (In the end someone has to do it ...)