I came to the same conclusions right up to about 35:30 where they talk about electing a new Pope, having decided that the seat is empty.
Faterh Cekada says that there is no need to judge a heretical Pope, because such a Pope is already judged.
Okay, but that's dogging the question: if you believe there is no Pope, the church is required to hold a conclave and elect a new Pope to fill the seat.
There has been as many as 3 Popes at once for even smaller reasons than denying that there's a Catholic God, who are an anthema for changing the cannon of the mass, who put the Holy Mother Church on the same level as half naked Pagans, who have dragged Pagan idols before the alter of God (which destroys the alter and it must be re-sanctified), for denying that the Holy Mother Church is the One True Faith and that there is no salvation outside the Catholic Church, etc.
The Church needs a true pontiff least you get the present crisis where there are all sorts of factions of traditional Catholics trying to deal with the problem.