Manpages of src:vmware-manager in Debian stretch