Manpages of src:colobot in Debian experimental