Manpages of ptscotch in Debian experimental