Issue #12947: Merge doctest documentation change from 3.3.