Manpages of edenmath.app in Debian unstable