Manpages of lava-server in Debian stretch-backports