Re: [PATCH] tinyMCE HTML editor