Not every extension has to be gigantic to make a gigantic difference. This plugin does just that; I switch back and forth between two editors everyday as each has functionality the other lacks. Now, I just choose from a drop-down box while editing and article, and I am into the other editor! In the course of a week, this saves me time, the one resource I have very little of. Thanks so much for this time saving plugin.