The text d9055181a10e, as Debian 12 (Bookworm) shipped it. The page shows this text now.
sc_R12IntsAcc_MPIIOFile(3) on Linux now
