No matches were found for subject:"Bug#971819\: manuals created with a \"help2man\" version that is far too old"