Add ids as names in developer section, so the jenkins description plugin does not fail.