I see that, recently, shuffle-votes are denied when there's not much time left during the warmup and this makes a lot of sense. However, can we lower the threshold for this please? e.g. Even when 23-25 seconds are left (in a ~35 second warmup), shuffle votes are currently denied. Perhaps deny it only if the number of seconds is <15?