ost_TypeManager_Registration(3) on Linux

The text 6d1161ddc878, as Debian 8 (Jessie) shipped it.

This manages a registration to the typemanager - attempting to remove problems with the optimisers.