TinyMCE my favorite editor. I can't imagine WordPress without it !!! I am sure this is great news and it will bring a lot of benefits in the end.