Re: [PATCH] Better support for koji profiles.