The text 708dbc3c7ee4, as Debian 8 (Jessie) shipped it.
Manipulators defined in the FBB namespace
manipulators(3bobcat) on Linux now
