ToPermutation from StandardTableauPair
The permutation an RSK pair comes from: inverse RSK.
Unbumps the cell holding n in Q, then n − 1, and so on, each time reading a letter off the first row of P.
Called as CombinatorialMap(x, "ToPermutation"). The head's page has its examples.