eaae75754d81 ("docs: turn off "smart quotes" in the HTML build")
02d33e86468c ("docs: decruft Documentation/conf.py")