Manpages of vcmi in Debian testing