User blog comment:Dopp/Meet the Mini Editor/@comment-4813807-20120324024214/@comment-4813807-20120324030632

Would be nice if they add it to the preference, a box that says 'Enable the Mini Editor'.