Re: [Automatic Bug Reporting Tool - ABRT] #743: document the new problem API