Retire last usage of operator|(File f, Rank r)

This for some reason was missed.

No functional change.