Wrong quotes in sphinx documentation

[arialcrime]

Even though the correct kind of (straight) quotes are used in the docstrings, the rendered documentation changes them to “typographic” ones. This makes copying from the documentation a bit more tedious than it has to be.

[justvanrossum]

Perhaps backticks should be used in the doc string:

*`"should close"`*

[arialcrime]

That sounds extensive. Maybe explicitly setting this to False already solves it?

vanilla/Documentation/source/conf.py

Lines 130 to 132 in 873d983

	# If true, SmartyPants will be used to convert quotes and dashes to
	# typographically correct entities.
	#html_use_smartypants = True

[justvanrossum]

Generally we need to mark code fragments as "code", and I would say the smarty pants behavior is desirable for non-code.