Manpages of libx52pro0 in Debian testing