If you could pick one I’d probably pick Woodruff too because of the veteran experience. But, it’s probably a moot point because the real priority would probably be keeping the pitchers on schedule as much as possible.
The wild card series starts on Tuesday, just two days after the season ends. If the Brewers would have to go to the final weekend or final day just to win the division or get a playoff spot, they might have to use their best starters that weekend and that would dictate availability for Tuesday.
Even if the Brewers have an opportunity to tinker with their rotation to set up the playoffs they probably want to avoid having anyone go too long in between starts unless they think a pitcher would be helped by skipping a turn.
BTW, in order to avoid misunderstanding, I would direct everyone’s attention to the signature that I have used for a few years because of the tendency of some posters to read unintended things into my posts. In this case, just because I mention the possibility of the Brewers going to the last day of the season to clinch the division or a playoff spot, that doesn’t mean that I expect or assume that that will happen.