The text 074ee5521b9a, as Debian 7 (Wheezy) shipped it.
Manipulator setting left margins of OFoldStream objects
lm(3bobcat) on Linux now
