[Plugin: HTML Editor Syntax Highlighter] Optimization Suggestion

Thank you for sharing this little cool plugin, it sure makes my life easier by not coding the highlighter for every theme. If I may suggest, you might wanna combine and minify the JavaScripts into one file to speed things up a little. It takes a few second to load the editor right now and this would greatly improve it.

Thanks again,

Chris

http://wordpress.org/extend/plugins/html-editor-syntax-highlighter/