Manpages of src:adasockets in Debian stretch