SoDecimationPercentageElement(3) on Linux

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

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