> A thing I've never been clear on is whether the Extropian Mike Perry was the FIG F-83 Mike Perry or the Tor Mike Perry.

Neither, he's the Alcor Mike Perry:

https://www.alcor.org/library/alcor-member-profiles/michael-...