Manpages of ppc64-diag in Debian buster