re: #28 Charles Johnson

That’s a lot of work to change double quotes to singles inside the paragraph. I’m sure the editor accidentally did that without thinking about it.