Manpages of phnxdeco in Debian wheezy