I am just super wondering, why we still use the old CKEditor 3 for this forum. Most of the questions are programming questions, we don't need to prettify our text. We need basic text features and (what is more important) a light-weight, fast editor.
I strongly suggest to use a Markdown editor. Probably Scott's plugin will be good for (haven't tested it yet, but I believe in Scott's abilities ;) ).
If you like to swap to the lighter Markdown editor and leave ckeditor behind, please vote up this post, so gidgreen and scott can see that this "wish" is significant for all.