SoDecimationPercentageElement(3) on Linux

The text c2d83aaa1820, as Debian 7 (Wheezy) shipped it.

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