unclear about bug reporting for provisional kde repos