I use <code> tags in normal text all the time (I teach programming). A button for code formatting next to the Bold, Italic, and Strikethrough buttons on the formatting palette would be most welcome (and even better would be a keystroke mapping). Thanks!