The text 14efd3278bf1, as Debian 9 (Stretch) shipped it.
Manipulators defined in the FBB namespace
manipulators(3bobcat) on Linux now
