SoDecimationTypeElement(3) on Linux

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

The SoDecimationTypeElement class is yet to be documented. FIXME: write doc.