Manpages of ptscotch in Debian testing