Strike redundant paragraph explicitly specifying that implementations may provide
additional execution policy objects.

Strike redundant paragraphs specifying the semantics of global execution
policy objects.