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