The text 5dfb7a2b7f4d, as Debian 12 (Bookworm) shipped it.
a UR::BoolExpr minus specific values
UR::BoolExpr::Template(3pm) on Linux now
