Sí, lo noté en el vídeo. Lo editaremos adecuadamente con una lectura completa también. Por ahora, prefiero una herramienta que sea demasiado cautelosa antes que arriesgarme a marcar accidentalmente palabras extra. Algunas puedo cambiarlas confiablemente con una búsqueda y reemplazo con expresiones regulares, pero para otras este probablemente sea el mejor método por ahora. Otra desventaja es que sigue siendo un poco laborioso escribir una entrada de glosario para cada nombre (de lo contrario, no las necesito como entradas de glosario reales).
