docs: turn smartypants back on, since --options are now in ``

docs/conf.py

@@ -152,9 +152,7 @@ html_last_updated_fmt = '%Y-%m-%d'
 
 # If true, SmartyPants will be used to convert quotes and dashes to
 # typographically correct entities.
-#
-# This is disabled to avoid mangling --options-that-appear-in-texts.
-html_use_smartypants = False
+html_use_smartypants = True
 
 # Custom sidebar templates, maps document names to template names.
 html_sidebars = {