The text 0500afcbfee4, as Debian 12 (Bookworm) shipped it. The page shows this text now.
double
doubleSYauxiliary(3) on Linux now
