Manpages of tix-dev in Debian experimental