[docs] [issue16154] Some minor doc fixes in Doc/library

[Terry J. Reedy]

Terry J. Reedy added the comment:

Apparently, I should have suggested "# doctest: +SKIP".
The #12947 fix to example directives being deleted from the directive examples came after the 3.3.0 release. Fixed examples are at
http://docs.python.org/py3k/library/doctest.html#option-flags-and-directives

----------

_______________________________________
Python tracker <report at bugs.python.org>
<http://bugs.python.org/issue16154>
_______________________________________