Manpages of f3 in Debian unstable