История развития текстовых редакторов с середины XX века, популярные текстовые редакторы и функции автокоррекции