Manpages of xapian-tools in Debian stretch