Comment by db48x

I disagree that this is important. Search for a double space, and you will see only four that are inside a paragraph, and only one of those is after a comma. There are more stray spaces after the end of a line than there are double spaces inside of a paragraph.