Well, Bellator Dei, if you read what Fr. Wathen wrote, he explains there is no tribunal to pass judgment on the Pope. "If the person who incurs the censure be the pope himself, since there is no tribunal within the Church with the right to pass judgment against him, he cannot be removed from his office." So he is talking about a special case. He does not deny that a layman can incur excommunication,known by all to be a public and formal heretic, and removed from office.
The case of a Pope is slightly more tricky, there are varying opinions among theologians with differing grades of probability. Suarez for example said, “I affirm: If he is a heretic and incorrigible, the Pope ceases to be Pope as soon as a declarative sentence of his crime is pronounced against him by the legitimate jurisdiction of the Church ... of itself, it belongs to all the Bishops of the Church. For since they are the ordinary pastors and the pillars of the Church, one should consider that such a case concerns them.” I just post this to show there are different opinions regarding the special case of a Pope.
Obertray Immonday, all right, in fact, we can discuss it in a new thread.