Manpages of flex-old in Debian unstable