Está explicado aquí. El nombre hace referencia a la ortografía y a la tipografía y está vinculado al concepto antiguo de corregir los “tipos” de una imprenta, evitando las erratas. Además de la ortografía, la gramática y la sintaxis, se corrigen también elementos de edición, como espacios dobles o errores en el uso de la puntuación.
3 . ¿Qué es una corrección ortotipográfica?