Getting rid of pretty quotes

Unicode pretty quotes were brought over from Google Docs, where this
document started.