Manpages of desktopnova in Debian stretch