Waiting for someone to “formally correct” the Pope?
Probably not going to happen, at least so long as the pope in question is still the pope.
That is to say, with canon law being what it is:
“The First See is judged by no one.” (Canon 1404)
And Church teaching saying what it does:
“And since the Roman Pontiff is at the head of the universal Church by the divine right of apostolic primacy, We teach and declare also that he is the supreme judge of the faithful, and that in all cases pertaining to ecclesiastical examination recourse can be had to his judgment; moreover, that the judgment of the Apostolic See, whose authority is not surpassed, is to be disclaimed by no one, nor is anyone permitted to pass judgment on its judgment. Therefore, they stray from the straight path of truth who affirm that it is permitted to appeal from the judgments of the Roman Pontiffs to an ecumenical Council, as to an authority higher than the Roman Pontiff. (Pastor Aeternus)
It is hard to imagine such a scenario being even possible. This is similar to the problem where folks try to say that Francis is “in schism.” Canon 751 defines schism as “the refusal of submission to the Supreme Pontiff or of communion with the members of the Church subject to him.”
Thus, one is not “in schism” due to a departure from Tradition or from doctrine. One is in schism only with reference to the pope. So, while it IS possible for a pope to cause a schism, it IS NOT possible for him to actually be “in schism” or to commit the crime of schism, since he cannot refuse submission to himself.
The possibility of a “heretic pope” is another matter, but one which, according to experts in canon law, is so remote a possibility that history presents no examples.
In conclusion: the church is not a democracy. In fact, the institution of the papacy was perhaps put in place by divine design in order to prevent just the sort of perpetual and limitless politicking to which democracies are prone.