Puedes cambiar el nombre del rol de forma global yendo a "Administración >> Usuarios >> Permisos >> Definir Roles" y editando el rol de nombre corto "editingteacher".
¡¡OJO!! Cambia el nombre del rol por el que más te guste pero NO cambies el nombre corto del mismo (algunos trozos de código puede que aún usen el nombre corto en inglés, con lo que algunas cosas podrían fallar; además el nombre corto no se usa en ninguna pantalla visible para el usuarios final, sólo para los administradores).
Saludos. Iñaki.