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

[Chris Jerdonek]

Chris Jerdonek added the comment:

> I considered the directive, but I mildly prefer the code change.

I just wanted to point the directive out as an available option (especially for Ravi if he does further patches like this).  Either way is fine with me.

----------

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