Thread:MediaWiki talk:Gadget-CodeEditor.js/Edit summary/reply

Excellent idea -- I stuffed that in along with resizable edit area. :D