Manpages of libeditline-dev in Debian unstable