Issue #12947: Remove doctest directives from the doctest examples in the "Option Flag" section.

The doctest examples that illustrate the use of doctest option flags
independent of doctest directives should not display doctest directives.