No matches were found for subject:"Bug#519807\: man\-db\: also look in \/usr\/share\/man\/mansecext\/ in GNU layout"