Manpages of libargtable2-dev in Debian unstable