[CentOS-devel] livecd-tools in Extras

Hello,

For CentOS 7 I rely, at work for our minimal pxe image, on the 
livecd-tools that are provided by Fabian:

http://people.centos.org/arrfab/CentOS7/LiveMedia/RPMS/

I would like to know if there is a plan to maybe ship these RPMs in 
centos Extras (http://mirror.centos.org/centos/7/extras/) ?

Is there strong opinions against this idea ? What do you think ? Is it 
useful to more people ?


thanks for the feedback,
-- 
Thomas.