Revert "[Bug #8347] Add missing documentation"

This reverts commit 71aff6853629b000dbfb53b884f522462e63dbc0.