Pues SE menu editor abre cualquier menu.ml, que yo sepa, y es más facil de editar que editando el texto, mejor usa ese programa