Feature suggestion: automated discard after 10 seconds

[JayjayBerger]

When a player dies and Pedro Rodriguez is in play, that player has to choose between manual and automatic discard order. Often that order doesn't matter because it won't be Pedro's turn immediately after but still it can happen. The problem is that some players, when they see that they're dead, leave the game without selecting the type of discard, and the game aborts instead of continuing for the other players. So it would be useful to leave a maximum delay, say 10 seconds, for the player to choose a discard order and after those 10 seconds it would be discarded in the automatic order...