Right, I'm not sure it's a bug though, gnome-nettool.xml seems to be a gedit help file, ie there's no help for gnome-nettool. -- Help file not accessible https://launchpad.net/bugs/69505