This little "wysywig" editor is getting in a way when one does copy/paste into it.

especially when one wants to insert some source code ... into the middle of existing code in the post.

formating gets taken-in and the current code is screwed. Google docs has very useful "clear formating" button for that. 

Also ability to edit HTML behind would solve this and all the other similar issues ..

--DBJ