Manpages of fpgatools in Debian unstable