Manpages of wml in Debian wheezy