No matches were found for subject:"Bug#258812\: marked as done \(krec.1 is in included debian\/man but does not get installed\)"