I read your link. It didn’t mention that Peter was formerly named Simon, until Christ renamed him. I wonder if that omission was intentional.