[I omit here the suffix “Pope of Rome,” for obvious reasons. He was papa of Portus at a time when all bishops were so called but this is a misleading absurdity, borrowed from the Galland ms., where it could hardly have been placed earlier. A mere mediæval blunder.]