Re: unclear about bug reporting for provisional kde repos