Index: wp-includes/class-wp-editor.php
===================================================================
--- wp-includes/class-wp-editor.php     (revision 21204)
+++ wp-includes/class-wp-editor.php     (working copy)
@@ -83,7 +83,7 @@
                                $switch_class = 'tmce-active';
                        }

-                       $buttons .= '<a id="' . $editor_id . '-html" class="hide-if-no-js wp-switch-editor switch-html" onclick="switchEditors.switchto(this);">' . __('HTML') . "</a>\n";
+                       $buttons .= '<a id="' . $editor_id . '-html" class="hide-if-no-js wp-switch-editor switch-html" onclick="switchEditors.switchto(this);">' . __('Text') . "</a>\n";
                        $buttons .= '<a id="' . $editor_id . '-tmce" class="hide-if-no-js wp-switch-editor switch-tmce" onclick="switchEditors.switchto(this);">' . __('Visual') . "</a>\n";
                }