The text 0b193ff27602, as Debian 10 (Buster) shipped it. The page shows this text now.
solver_abtb(2rheolef) on Linux now
