Manpages of felix-main in Debian stretch