devhelp should be available (and IMHO included by default) in the list of packages installable in the section developement>gnome devlopement. (should these kind of bugs be reported against system-config-packages instead?)
No, they should be reported against the 'comps' component. This should have just gotten fixed though.