Well, that only took six years. After numerous unofficial Greasemonkey scripts and other workarounds,Google finally introduced its own rich text editor for Gmail this week.