On 21 May, Jochen Bern wrote: > Please do NOT, however, have the differing color *replace* the > indentation - that'ld downright break "ASCII art", including, e.g., No need to worry, I'll not replace the indention. Also if the feature gets added then there will probably be an easy way to turn it off. /MaF