История изменений

например, модное и почти повсеместное автоматическое «исправление» слов/букв. Отключить можно, но лишние перенастройки надоедают.

Это не избыточность, это именно изменение введённого пользователем. Это программа, считающая, что она умнее юзера. Тоже, конечно, можно любить или не любить, но в любом случае это про другое.

Избыточность, если уж говорить о словах и буквах, да о тексте — это, например, большая буква в начале предложения. И так же понятно, что новое предложение началось, потому что точка стоит. Но большая буква показывает это дополнительно, облегчая чтение. Согласование слов по родам, числам и падежам — тоже избыточность (некоторые языки от этого отказались полностью или частично, да, но там свои фишки, с порядком слов в том числе).

P.S. Не сталкивался с необходимостью повсеместно отключать какое-то исправление, кстати. Наверное, актуально в основном для мобил? Потому что на десктопе даже не припомню, где бы такое было по умолчанию.

например, модное и почти повсеместное автоматическое «исправление» слов/букв. Отключить можно, но лишние перенастройки надоедают.

Это не избыточность, это именно изменение введённого пользователем. Это программа, считающая, что она умнее юзера. Тоже, конечно, можно любить или не любить, но в любом случае это про другое.

Избыточность, если уж говорить о словах и буквах, да о тексте — это, например, большая буква в начале предложения. И так же понятно, что новое предложение началось, потому что точка стоит. Но большая буква показывает это дополнительно, облегчая чтение. Согласование слов по родам, числам и падежам — тоже избыточность (некоторые языки от этого отказались полностью или частично, да, но там свои фишки, с порядком слов в том числе).