The text e311579d99dc, as Arch Linux 2026-11-01 shipped it. The page shows this text now.
MPI_Session_get_num_psets(3) on Linux now