Manpages of tip22 in Debian wheezy