Manpages of monodevelop in Debian stretch