Manpages of batmon.app in Debian wheezy