[Fedora-packaging] naming of "documentation-devel" package

[Jens Petersen]

Hi,

A package named "documentation-devel" has been submitted for review to 
Fedora recently:

	https://bugzilla.redhat.com/show_bug.cgi?id=427481

It provides a comprehensive set of tools used by the Red Hat Docs team 
and some others to build documentation written in docbook and its 
translations into various formats.

The question is can we keep the name as is, since they are not keen on 
changing it, or should the name of the package be changed?

Jens