Manpages of hannah in Debian stretch