MPI_File_seek.openmpi(3) on Linux

The text 756ccb0efb6e, as Debian 12 (Bookworm) shipped it.

Updates individual file pointers (noncollective).

MPI_File_seek.openmpi(3) on Linux now