Historic triple play

The writeup on the MLB page is better. They actually say what is so unusual about this triple play. The batter was not one of the three outs. The three runners on base were all put out to make the triple play. The batter was "safe" on fielders choices but the inning was over after the three runners already on were put out.

https://www.mlb.com/news/jurickson-profar-rangers-turn-triple-play/c-290661470