An answer to the bonus question: yes, see K. P. Hart and J. Vermeer. Fixed-point sets of autohomeomorphisms of compact F-spaces, Proceedings of the American Mathematical Society, 123 (1995), 311–314: every $P$-set is the fixed-point set of an involution. Apply this to a $P$-point.
KP Hart
- 11.4k
- 38
- 48