Manpages of grr-server in Debian stretch-backports