No matches were found for subject:"Bug#217308\: marked as done \(stklos includes dir.gz and dir.old.gz at \/usr\/share\/info\)"