Either way, he was replaced that they said back in the day.
Not sure Paul was ever a he. That whole ‘walrus’ thing was code if you ask me.