Manpages of widemargin in Debian wheezy