Re: RFC: Alternative -devel packaging