The text 11889a0a3a21, as Debian 9 (Stretch) shipped it.
Manipulator setting left margins of OFoldStream objects
lm(3bobcat) on Linux now
