Manpages of wmppp.app in Debian testing