Merge "Docs: small documentation fixes for formatting and typos."