The text d172a63923c2, as Debian 12 (Bookworm) shipped it. The page shows this text now.
real
single_eig(3) on Linux now