The text b5cd5cc90482, as Debian 13 (Trixie) shipped it.
laed0: D&C step: top level solver
laed0(3) on Linux now
