I think the confusion is I meant stop taking picking times for all in R12, whether they continue or not. You can't go half-cocked introducing a tie-breaker rule in R9 (which I supported), then considering just having 12 rounds (which I didn't but not fussed if others want to stop) and then making some weird merge of the two things just because you feel like it.
It's simple, you want to record pick times until R14 fine, make everyone pick 14 players. People can stop at 12 because they have no clue who to pick and would take forever? Fine, but stop recording pick times then. Simples.