As a (-n inactive) Jext project admin I have decided it doesn't have " - " in the middle of its name.
ant/core/trunk/docs/manual/Integration/jext-plugin.html
ant/core/trunk/docs/manual/ide.html