Issue #12947: revert earlier workaround and use a monkey-patch to enable showing doctest directives only in the doctest docs.