docs: various (style, punctuation and typo fixes) I accumulated some doc fixes that didn't make it into 8.0 and thought I might as well see if there was anything worth adding to the coding style while at it. Let me know what you think.
docs: various (style, punctuation and typo fixes) I accumulated some doc fixes that didn't make it into 8.0 and thought I might as well see if there was anything worth adding to the coding style while at it. Let me know what you think.