Re: Where to file bugs about the kde-redhat packages?