I’d also like to read a comprehensive, or even not so, response from Andrew. Perhaps he is ruminating on these points right now preparing a response.

Chajc, I discovered that if you click the little “enable rich-text” link below the Comment box you will get to a place where you can indent selected text from other posts. By indenting, it seems to make the text a different color as well. Plus you have options for other font characteristics.