Manpages of src:colobot in Debian testing