Manpages of wmfrog in Debian wheezy