Document the new GameState.cardsLeft attribute