>>13895245 (PB)

>I'd have to find the citation

No need. That is true. If I recall correctly, reconsidering a Pope valid or not can only happen after he's no longer Pope.