Manpages of eric in Debian testing