Manpages of openclonk in Debian testing