Has there even been a Pope Patrick or Pope Christopher?
Couldn't tell you. There have been so many times where there have been "anti-Popes," it's hard to tell which names were used. There probably isn't a complete list of all those who have used the title Pope, but surely there is an official roll. As for me, I am a fan of the adjective-name, but would like to see them try some new ones out. Such as, Magnanimous, Virtuous, something like that.