If we're no longer using NumKingdomCards, we probably should delete it from the file.