I voted for "high leverage relief" -- as in, if there's a relief situation he can be useful for tonight, use him. Otherwise, game 5. I definitely get the concern about running him out there, but that awful game was just one game. I also know that in his 26 playoff innings, he has not been very good. In hundreds of other innings, he has been very good. I'm inclined to trust the larger sample, even though I also get that he is coming back from a serious injury and surgery. Basically, if he can pitch like he did in the regular season this year, he's a valuable pitcher who needs to be out there.
Remember how David Price had two pretty awful outings at the top of the 2018 postseason, re-opening the debate about whether he was a total goat in the playoffs? Remember what happened after that?